Author of the publication

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

Contract-Based Requirement Modularization via Synthesis of Correct Decompositions., , , and . ACM Trans. Embed. Comput. Syst., 15 (2): 33:1-33:26 (2016)Refinement-based synthesis of correct contract model decompositions., and . MEMOCODE, page 134-143. IEEE, (2014)Beitrag zur Entwicklung eines Standards zur Diagnostik von Anaerobiern in einem nichtspezialisierten Labor. HU Berlin, (1988)A Tag Contract Framework for Modeling Heterogeneous Systems.. University of Trento, Italy, (2014)base-search.net (ftutrentophd:oai:eprints-phd.biblio.unitn.it:1171).A Tag Contract Framework for Heterogeneous Systems., , , and . ESOCC Workshops, volume 393 of Communications in Computer and Information Science, page 204-217. Springer, (2013)A tag contract framework for modeling heterogeneous systems., , , and . Sci. Comput. Program., (2016)Tag Machines for Modeling Heterogeneous Systems., , , and . ACSD, page 186-195. IEEE Computer Society, (2013)