Author of the publication

ViennaDoc: An Animatable and Testable Specification Documentation Tool.

, , , , , , and . FM Workshops (2), volume 12233 of Lecture Notes in Computer Science, page 289-302. Springer, (2019)

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.

 

Other publications of authors with the same name

ViennaDoc: An Animatable and Testable Specification Documentation Tool., , , , , , and . FM Workshops (2), volume 12233 of Lecture Notes in Computer Science, page 289-302. Springer, (2019)Consistency Checking between Data and Process Diagrams Based on Formal Methods., , and . COMPSAC, page 261-269. IEEE Computer Society, (1996)A Design Map for Recording Precise Architecture Decisions., , , , and . APSEC, page 298-305. IEEE Computer Society, (2011)An Application Framework for TCP/IP Applications., , , and . COMPSAC, page 627-634. IEEE Computer Society, (2002)