( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain using CASL

, , , и . Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, том 7841 из Lecture Notes in Computer Science, стр. 178-194. Springer, (2013)

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.

Alexander Knapp

Alexander Knapp

Markus Alexander Knapp

Bernhard Alexander Knapp

Lena Knapp

 

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

UML 2.0 Interactions: Semantics and Refinement., и . 3rd Intl. Workshop on Critical Systems Development with UML (CSDUML '04, Proceedings)., стр. 85--99. Technische Universität München, (2004)Model Checking of UML 2.0 Interactions, и . (2007)UML 2.0 Interactions: Semantics and Refinement., и . 3rd Intl. Workshop on Critical Systems Development with UML (CSDUML '04, Proceedings)., стр. 85--99. Technische Universität München, (2004)Specifying Component Invariants with OCL., , , и . GI Jahrestagung (1), том 157 из Schriftenreihe der Österreichischen Computer-Gesellschaft, стр. 600-607. Konstanz UVK-Verl.-Ges., (2001)A reduction-based cut-free Gentzen calculus for dynamic epistemic logic., и . Log. J. IGPL, 31 (6): 1047-1068 (ноября 2023)Specifying Event/Data-based Systems (keynote).. CS&P, том 2951 из CEUR Workshop Proceedings, стр. 1. CEUR-WS.org, (2021)Cube Bot - A Smart Factory Showcase for the Real-Time Container Architecture., , , , и . INDIN, стр. 312-316. IEEE, (2022)Risk-Based Testing of Self-Adaptive Systems Using Run-Time Predictions., и . SASO, стр. 80-89. IEEE, (2018)Epistemic Ensembles., , и . ISoLA (3), том 13703 из Lecture Notes in Computer Science, стр. 110-126. Springer, (2022)An Intermediate Language-Based Approach to Implementing and Verifying Communicating UML State Machines.. Applicable Formal Methods for Safe Industrial Products, том 14165 из Lecture Notes in Computer Science, стр. 289-307. Springer, (2023)