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

Reconfigurable target recognition system (poster abstract)., , , and . FPGA, page 221. ACM, (2000)Improving the Usability of a Graph Transformation Language, , , , and . Electronic Notes in Theoretical Computer Science, (March 2006)A model-based design framework to achieve end-to-end QoS management., , , and . ACM Southeast Regional Conference (1), page 176-181. ACM, (2005)Modeling methodology for integrated simulation of embedded systems., , , and . ACM Trans. Model. Comput. Simul., 13 (1): 82-103 (2003)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)A control-based framework for self-managing distributed computing systems., , and . WOSS, page 3-7. ACM, (2004)Efficient Integration of Web Services in Ambient-aware Sensor Network Applications., , , , and . BROADNETS, IEEE, (2006)Component-based modeling of dynamic systems using heterogeneous composition., , , , , and . MPM@MoDELS, page 73-78. ACM, (2012)Toward a semantic anchoring infrastructure for domain-specific modeling languages., , and . EMSOFT, page 35-43. ACM, (2005)Model-Driven Program Transformation of a Large Avionics Framework., , , , , , , , , and . GPCE, volume 3286 of Lecture Notes in Computer Science, page 361-378. Springer, (2004)