( en | de | ru )

 

Disambiguierung von "Buchs, Didier"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Producing prototypes from CO-OPN specifications.

, , und . RSP, Seite 77-93. IEEE Computer Society, (1992)

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.

Wolfgang Büchs

Heribert Büchs

Jochen Büchs

Jens Buchs

Hubertus Büchs

 

Weitere Publikationen von Autoren mit dem selben Namen

Preface., , und . Fundam. Informaticae, (2022)Contextual Coordination for the Mapping of Distributed Systems on Object-Oriented Systems., und . Comput. Artif. Intell., 16 (2): 187-216 (1997)Prototyping Domain Specific Languages with COOPN., , und . RISE, Volume 3943 von Lecture Notes in Computer Science, Seite 174-189. Springer, (2005)StrataGEM: A Generic Petri Net Verification Framework., , und . Petri Nets, Volume 8489 von Lecture Notes in Computer Science, Seite 364-373. Springer, (2014)A Coordination Model for Distributed Object Systems., und . COORDINATION, Volume 1282 von Lecture Notes in Computer Science, Seite 410-413. Springer, (1997)Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems., , und . SERENE, Volume 8785 von Lecture Notes in Computer Science, Seite 139-153. Springer, (2014)Explicit and Controllable Assignment Semantics., und . CoRR, (2019)CREST - A DSL for Reactive Cyber-Physical Systems., , und . SAM, Volume 11150 von Lecture Notes in Computer Science, Seite 29-45. Springer, (2018)Using Symbolic Techniques and Algebraic Petri Nets to Model Check Security Protocols for Ad Hoc Networks., und . PNSE @ Petri Nets, Volume 1160 von CEUR Workshop Proceedings, Seite 91-110. CEUR-WS.org, (2014)Contextual Coordination between Objects., und . SBES, Seite 341-356. SBC, (1996)