Author of the publication

Animation of Protocols and Distributed Algorithms.

, and . Computer Science Education, 10 (3): 243-265 (2000)

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

Protokollspezifikation und -verifikation mit dem Transferprotokoll-Framework., and . Praxis der Informationsverarbeitung und Kommunikation, 21 (2): 79-88 (1998)DOI:10.1515/piko.1998.21.2.65.Großrechner-Anschluß an Kommunikationsvorrechner., , and . Praxis der Informationsverarbeitung und Kommunikation, 16 (2): 70-77 (1993)DOI:10.1515/piko.1993.16.2.62.Telekommunikation und Datenhaltung., , and . Hanser, (1993)Compositional specification and verification of high-speed transfer protocols., and . PSTV, volume 1 of IFIP Conference Proceedings, page 339-346. Chapman & Hall, (1994)Location-Transparent Integration of Distributed OSGi Frameworks and Web Services., , , , , , , and . AINA Workshops, page 464-469. IEEE Computer Society, (2009)Policy-Based Management for Resource-Constrained Devices and Systems., , , , , , and . POLICY, page 61-64. IEEE Computer Society, (2010)Verification of UML-Based Real-Time System Designs by Means of cTLA., , and . ISORC, page 86-95. IEEE Computer Society, (2000)CordiAAL: Enhanced Motivation for Cardiological Ergometer Training through Virtual Groups in Virtual Worlds., , , , , , , , , and . HEALTHINF, page 78-89. SciTePress, (2014)Service-Orientation and Flexible Service Binding in Distributed Automation and Control Systems., , , , and . AINA Workshops, page 1393-1398. IEEE Computer Society, (2008)Spezifikation, Implementierung und Verifikation von Kommunikationsdiensten für verteilte DV-Systeme.. Karlsruhe Institute of Technology, Germany, (1984)