Autor der Publikation

Specification, detection and resolution of IN feature interactions with Estelle.

, und . FORTE, Volume 6 von IFIP Conference Proceedings, Seite 376-378. Chapman & Hall, (1994)

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

On Preventing Telephony Feature Interactions which are Shared-Control Mode Confusions.. FIW, Seite 159-176. IOS Press, (2003)On Feature Orientation and on Requirements Encapsulation Using Families of Requirements.. Objects, Agents, and Features, Volume 2975 von Lecture Notes in Computer Science, Seite 26-44. Springer, (2003)Atomarität in parallel implementierten Estelle-Spezifikationen.. Praxis der Informationsverarbeitung und Kommunikation, 17 (4): 225-229 (1994)DOI:10.1515/piko.1994.17.4.207.Communication systems design with Estelle - on style, efficiency, and analysis.. Berichte aus der Informatik Shaker, (1997)Automatisierte Auslieferung und Konfiguration einer Linux-Umgebung für Entwickler., und . Praxis der Informationsverarbeitung und Kommunikation, 38 (1-2): 63-70 (2015)Improving the efficiency of automated protocol implementation using Estelle., , , , , und . Computer Communications, 19 (14): 1226-1235 (1996)Praktischer Einsatz und Weiterentwicklung von Estelle., , , , , , , und . GI Jahrestagung, Volume 293 von Informatik-Fachberichte, Seite 265-275. Springer, (1991)A Tool for Generating Specifications from a Family of Formal Requirements.. FORTE, Volume 197 von IFIP Conference Proceedings, Seite 319-334. Kluwer, (2001)Configuring Members of a Family of Requirements Using Features.. FIW, Seite 96-113. IOS Press, (2005)Families of Formal Requirements in Telephone Switching.. FIW, Seite 257-273. IOS Press, (2000)