( en | de | ru )

 

Disambiguierung von "von Bochmann, Gregor"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Conformance Testing with Respect to Partial-Order Specifications.

. ICTSS, Volume 9976 von Lecture Notes in Computer Science, Seite 3-17. (2016)

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.

Gregor Bochmann

Gregor ˜vonœ Arx

Heinz Bochmann

Hellmuth Bochmann

Christian Bochmann

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Specification Languages for Communication Protocols.. CHDL, Volume A-32 von IFIP Transactions, Seite 379-396. North-Holland, (1993)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)Realizability of Collaboration-based Service Specifications., , und . APSEC, Seite 73-80. IEEE Computer Society, (2007)Formal specifications design, evolution and reuse., und . CASCON, Seite 184-193. IBM, (1993)Using First-Order Logic to Reason about Submodule Construction.. FMOODS/FORTE, Volume 5522 von Lecture Notes in Computer Science, Seite 213-218. Springer, (2009)Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems., , und . FORTE, Volume 2767 von Lecture Notes in Computer Science, Seite 399-414. Springer, (2003)