Author of the publication

Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition.

, , , , and . MoDELS, volume 8107 of Lecture Notes in Computer Science, page 471-487. Springer, (2013)

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

A Model-Integrated, Guideline-Driven, Clinical Decision-Support System, , , , , , , , and . IEEE Software, 26 (4): 54-61 (2009)Towards a formal foundation for domain specific modeling languages., and . EMSOFT, page 53-62. ACM, (2006)Semantic Anchoring with Model Transformations., , , and . ECMDA-FA, volume 3748 of Lecture Notes in Computer Science, page 115-129. Springer, (2005)Increasing Productivity at Saturn., , and . Computer, 31 (8): 35-43 (1998)Model-Integrated Computing., and . Computer, 30 (4): 110-111 (1997)A Tool for Analyzing Clinical Datasets as Blackbox., , , , and . FHIES/SEHC, volume 9062 of Lecture Notes in Computer Science, page 222-238. Springer, (2014)Model-integrated Tools for the Design of Dynamically Reconfigurable Systems., , , , and . VLSI Design, 10 (3): 281-306 (2000)Towards Two-Level Formal Modeling of Computer-Based Systems., , , and . J. Univers. Comput. Sci., 6 (11): 1131-1144 (2000)NCSWT: An integrated modeling and simulation tool for networked control systems., , , , , , , and . Simul. Model. Pract. Theory, (2012)Diversely enumerating system-level architectures., , and . EMSOFT, page 11:1-11:10. IEEE, (2013)