Author of the publication

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

A Common Semantics Representation for SDL and TTCN., , , and . PSTV, volume C-8 of IFIP Transactions, page 335-346. North-Holland, (1992)TTCN: Towards a Formal Semantics and Validation of Test Suites., and . Computer Networks and ISDN Systems, 29 (1): 15-47 (1996)Testability in the Context of SDL., and . PSTV, volume C-8 of IFIP Transactions, page 319-333. North-Holland, (1992)Cinderella SLIPPER: An SDL to C-Code Generator., , and . SDL Forum, volume 3530 of Lecture Notes in Computer Science, page 210-223. Springer, (2005)SDL - The IoT Language., , , , and . SDL Forum, volume 9369 of Lecture Notes in Computer Science, page 27-41. Springer, (2015)Test descriptions with ETSI TDL., , , , , , and . Software Quality Journal, 27 (2): 885-917 (2019)Test derivation for SDL based on ACTs., , and . FORTE, volume C-10 of IFIP Transactions, page 381-396. North-Holland, (1992)