( en | de | ru )

 

Disambiguation of "Buchs, Didier"

Author of the publication

copydeleteadd this publication to your clipboard
Prototyping Domain Specific Languages with COOPN.

, , and . RISE, volume 3943 of Lecture Notes in Computer Science, page 174-189. Springer, (2005)

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.

Wolfgang Büchs

Jochen Büchs

Heribert Büchs

Jens Buchs

Hubertus Büchs

 

Other publications of authors with the same name

Contextual Coordination between Objects., and . SBES, page 341-356. SBC, (1996)Prototyping Domain Specific Languages with COOPN., , and . RISE, volume 3943 of Lecture Notes in Computer Science, page 174-189. Springer, (2005)StrataGEM: A Generic Petri Net Verification Framework., , and . Petri Nets, volume 8489 of Lecture Notes in Computer Science, page 364-373. Springer, (2014)CREST - A DSL for Reactive Cyber-Physical Systems., , and . SAM, volume 11150 of Lecture Notes in Computer Science, page 29-45. Springer, (2018)Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems., , and . SERENE, volume 8785 of Lecture Notes in Computer Science, page 139-153. Springer, (2014)A Coordination Model for Distributed Object Systems., and . COORDINATION, volume 1282 of Lecture Notes in Computer Science, page 410-413. Springer, (1997)Preface., , and . Fundam. Informaticae, (2022)Using Symbolic Techniques and Algebraic Petri Nets to Model Check Security Protocols for Ad Hoc Networks., and . PNSE @ Petri Nets, volume 1160 of CEUR Workshop Proceedings, page 91-110. CEUR-WS.org, (2014)Interfacing Software Libraries from Non-deterministic Prototypes., and . IEEE International Workshop on Rapid System Prototyping, page 92-98. IEEE Computer Society, (2002)A domain specific language and methodology for control systems GUI specification, verification and prototyping., and . VL/HCC, page 179-182. IEEE Computer Society, (2007)