( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems.

, , и . CoRR, (2020)

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.

Susanne Graf

Susanne Graf

Susanne Graf

Susanne Graf

Susanne Graf

 

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

IF: An intermediate representation for SDL and its applications., , , , , , и . SDL Forum, стр. 423-440. Elsevier, (1999)MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems., , и . COORDINATION, том 13271 из Lecture Notes in Computer Science, стр. 17-34. Springer, (2022)A Logic for the Specification and Proof of Controllable Processes of CCS., и . Logics and Models of Concurrent Systems, том 13 из NATO ASI Series, стр. 369-395. Springer, (1984)OMEGA: correct development of real time and embedded systems.. Softw. Syst. Model., 7 (2): 127-130 (2008)Introduction to ACES-MB 2015., , , , и . ACES-MB&WUCOR@MoDELS, том 1508 из CEUR Workshop Proceedings, стр. 1-2. CEUR-WS.org, (2015)A real-time profile for UML, , и . International Journal on Software Tools for Technology Transfer (STTT), (2007)MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems., , и . CoRR, (2020)Metamodels in Europe: Languages, Tools, and Applications., , , , , , , , , и 4 other автор(ы). IEEE Des. Test Comput., 26 (3): 38-53 (2009)From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper)., , , , , , , , , и 5 other автор(ы). ECRTS, том 262 из LIPIcs, стр. 19:1-19:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Models, Mindsets, Meta: The What, the How, and the Why Not?, , и . Models, Mindsets, Meta, том 11200 из Lecture Notes in Computer Science, стр. 3-13. Springer, (2018)