( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Principles for System Prototype and Verification Using Metamodel Based Transformations.

, , и . IEEE International Workshop on Rapid System Prototyping, стр. 10-17. IEEE Computer Society, (2006)

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.

Wolfgang Büchs

Heribert Büchs

Jochen Büchs

Jens Buchs

Ludwig Büchs

 

Другие публикации лиц с тем же именем

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