Autor der Publikation

Characterizing termination in LOTOS via testing.

, , und . PSTV, Volume 38 von IFIP Conference Proceedings, Seite 237-250. Chapman & Hall, (1995)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

State Exploration by Transformation with LOLA., , und . Automatic Verification Methods for Finite State Systems, Volume 407 von Lecture Notes in Computer Science, Seite 294-302. Springer, (1989)Enhancing web-based learning resources with quizzes through an authoring tool and an audience response system., , und . FIE, Seite 1-8. IEEE Computer Society, (2014)Towards a Learning Object pedagogical quality metric based on the LORI evaluation model., , und . FIE, Seite 1-8. IEEE Computer Society, (2014)Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research.. FORTE, Volume 3235 von Lecture Notes in Computer Science, Seite 33-42. Springer, (2004)VaaS: Videoconference as a service., , , , , und . CollaborateCom, Seite 1-11. ICST / IEEE, (2009)TIC: A Timed Calculus for LOTOS., , und . FORTE, Seite 195-209. North-Holland, (1989)Compressed State Space Representation in LOTOS with the Interleaved Expansion.. PSTV, Seite 19-35. North-Holland, (1991)Characterizing termination in LOTOS via testing., , und . PSTV, Volume 38 von IFIP Conference Proceedings, Seite 237-250. Chapman & Hall, (1995)On Tools for FDTs.. Computer Networks and ISDN Systems, 25 (7): 719-721 (1993)ACM/Springer Mobile Networks and Applications (MONET) Special Issue on "Collaborative Computing: Networking, Applications and Worksharing"., , , , und . MONET, 17 (3): 376-377 (2012)