Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

New Results on Deriving Protocol Specifications from Service Specifications., , und . SIGCOMM, Seite 136-145. ACM, (1989)Conformance Relations and Test Derivation., , und . Protocol Test Systems, Volume C-19 von IFIP Transactions, Seite 157-178. North-Holland, (1993)Hierarchical Inter-Domain Management for Networks with Condo-Switches.. Communication Systems and Applications, Seite 190-196. IASTED/ACTA Press, (2005)Methods for Designing SIP Features in SDL with Fewer Feature Interactions., und . FIW, Seite 59-76. IOS Press, (2003)On the Distributed Implementation of LOTOS., , und . FORTE, Seite 133-146. North-Holland, (1989)Protocol Synthesis for Real-Time Applications., , und . FORTE, Volume 156 von IFIP Conference Proceedings, Seite 417-433. Kluwer, (1999)Specification Languages for Communication Protocols.. CHDL, Volume A-32 von IFIP Transactions, Seite 379-396. North-Holland, (1993)Deriving protocol specifications from service specifications written as Predicate/Transition-nets., , , und . Comput. Networks, 51 (1): 258-284 (2007)Some Experience with the Use of Formal Specifications., , , , , , , , und . PSTV, Seite 171-185. North-Holland, (1982)Realizability of Collaboration-based Service Specifications., , und . APSEC, Seite 73-80. IEEE Computer Society, (2007)