Author of the publication

Constituent Elements of a Correctness-Preserving UML Design Approach.

, and . IFM, volume 2999 of Lecture Notes in Computer Science, page 227-246. Springer, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Cluster Based Networks-on-Chip: An Efficient and Fault-Tolerant Architecture using Network Interface Assisted Routing., , , and . Int. J. Adapt. Resilient Auton. Syst., 4 (3): 25-41 (2013)On-Chip Distributed Architectures., , and . SoCC, page 329-330. IEEE, (2006)Integrating wireless systems into process industry and business management., , , , , and . ETFA, page 1-8. IEEE, (2010)Formal Pipeline Design., and . CHARME, volume 2144 of Lecture Notes in Computer Science, page 167-172. Springer, (2001)Partitioning Decision Process for Embedded Hardware and Software Deployment., , and . COMPSAC Workshops, page 674-680. IEEE Computer Society, (2013)Synchronization Can Improve Reactive Systems Control and Modularity., and . J. Univers. Comput. Sci., 10 (10): 1429-1468 (2004)Towards Reuse-Based Development for the On-chip Distributed SoC Architecture., , and . COMPSAC Workshops, page 278-283. IEEE Computer Society, (2012)Design and Implementation of a WirelessHART Simulator for Process Control., , and . SIES, page 221-224. IEEE, (2010)Design of Synchronous Action Systems., and . VLSI Design, page 578-583. IEEE Computer Society, (2000)A Novel Topology-Independent Router Architecture to Enhance Reliability and Performance of Networks-on-Chip., , , , and . DFT, page 454-462. IEEE Computer Society, (2011)