( en | de | ru )

 

Disambiguation of "Graf, Susanne"

Author of the publication

copydeleteadd this publication to your clipboard
A real-time profile for UML

, , and . International Journal on Software Tools for Technology Transfer (STTT), (2007)
DOI: 10.1007/s10009-006-0219-z

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.

Susanne Graf

Susanne Graf

Susanne Graf

Susanne Graf

Susanne Graf

 

Other publications of authors with the same name

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