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

Methodological Objectives for Formal Description Techniques.. FORTE, page 1-16. North-Holland, (1990)Das Einmaleins der Softwareentwicklung, , , , , and . Computerwoche, (October 2003)Net-Centric - Architecture Evaluation and Recommendations for Deutsche Bank 24, , , and . Internal Report for Deutsche Bank 24, (May 2001)O.P.E.N. Study (External Version), , , , and . Internal Report for Nemetschek AG, München, (November 1997)Strategische Bewertung von Java bei Giesecke & Devrient, , , and . Internal Report for Giesecke & Devrient GmbH, München, (June 1997)Are Fairness Assumptions Fair?. ICDCS, page 116-125. IEEE Computer Society, (1981)Specification and refinement of a buffer of length one.. NATO ASI DPD, page 273-304. (1996)Testing of Finite State Machines, , , , and . page 1--3. (2005)2nd UML 2 Semantics Symposium: Formal Semantics for UML, , , , , and . (2007)From MSCs to statecharts, , , and . DIPES '98: Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems, page 61--71. Norwell, MA, USA, Kluwer Academic Publishers, (1999)