Article,

A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking.

, , , and .
Int. J. Parallel Program., 33 (6): 613-643 (2005)

Meta data

Tags

Users

  • @dblp

Comments and Reviews