Author of the publication

Scanning Advances in Aerospace & Automobile Software Technology.

, , and . Proceedings of the IEEE, 98 (4): 510-514 (2010)

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

Are Fairness Assumptions Fair?. ICDCS, page 116-125. IEEE Computer Society, (1981)Principles and a Process for Successful Industry Cooperation - The Case of TUM and Munich Re., , , , , , , , and . SER&IP@ICSE, page 50-53. IEEE, (2015)Methodological Objectives for Formal Description Techniques.. FORTE, page 1-16. North-Holland, (1990)Projektorganisation und Management im Software Engineering., and . Xpert.press Springer, (2013)A Formal Model for Componentware., , , , and . FBT, page 17-26. Herbert Utz Verlag, (1999)Towards a Theory of Architectural Contracts: - Schemes and Patterns of Assumption/Promise Based System Specification.. Software and Systems Safety - Specification and Verification, volume 30 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2011)The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems.. SEW, page 85-88. IEEE Computer Society, (2006)Specification and refinement of a buffer of length one.. NATO ASI DPD, page 273-304. (1996)Manifest*: Strategische Bedeutung des Software Engineering in Deutschland., , , and . Informatik Spektrum, 29 (3): 210-221 (2006)Nichtdeterminismus - Das aktuelle Schlagwort., , and . Informatik Spektrum, 4 (2): 125-126 (1981)