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

On Conformance in the Context of Open Systems.. ICDCS, page 236-243. IEEE Computer Society, (1992)SDL Real-Time Tasks - Concept, Implementation, and Evaluation., , and . SDL Forum, volume 7916 of Lecture Notes in Computer Science, page 239-257. Springer, (2013)Model-Driven Development of Time-Critical Protocols with SDL-MDD., , and . SDL Forum, volume 5719 of Lecture Notes in Computer Science, page 34-52. Springer, (2009)Specifying Input Port Bounds in SDL., , and . SDL Forum, volume 4745 of Lecture Notes in Computer Science, page 101-116. Springer, (2007)Towards a new formal SDL semantics - outline of an abstract state machines., , and . SDL Forum, page 171-192. Elsevier, (1999)Increasing the Concurrency in Estelle., and . FORTE, volume C-22 of IFIP Transactions, page 125-139. North-Holland, (1993)Specification, detection and resolution of IN feature interactions with Estelle., and . FORTE, volume 6 of IFIP Conference Proceedings, page 376-378. Chapman & Hall, (1994)Leistungsbewertung automatisch generierter Protokollimplementierungen., and . MMB (Kurzbeiträge), page 26-33. TU Bergakademie Freiberg, (1997)Open distributed systems - on concepts, methods, and design from a logical point of view.. Vieweg advanced studies in computer science Vieweg, (1993)CoSDL: An Experimental Language for Collaboration Specification., , and . SAM, volume 2599 of Lecture Notes in Computer Science, page 1-20. Springer, (2002)