Autor der Publikation

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

Automated Derivation of ILP Implementations from SDL Specifications., , und . FORTE, Volume 197 von IFIP Conference Proceedings, Seite 3-18. Kluwer, (2001)Specification-based Testing of Concurrent Systems., und . FORTE, Volume 107 von IFIP Conference Proceedings, Seite 7-22. Chapman & Hall, (1997)An Approach to Synchronize UML-Based Design Components for Model-Driven Protocol Development., und . SEW, Seite 27-35. IEEE Computer Society, (2011)Towards a seamless mobility solution for the real world: Handover decision., , und . ISWCS, Seite 651-655. IEEE, (2012)Using model checking to identify errors in intrusion detection signatures., , und . STTT, 13 (1): 89-106 (2011)Bausteine für effiziente Intrusion-Detection-Systeme., , und . Praxis der Informationsverarbeitung und Kommunikation, 25 (3): 144-157 (2002)PARES - a portable parallel Estelle compiler., , und . PSTV, Volume 38 von IFIP Conference Proceedings, Seite 403-418. Chapman & Hall, (1995)Automatische Generierung effizienter Protokollimplementierungen., und . FBT, Seite 135-144. Herbert Utz Verlag, (1999)Enhancing group communication systems with mobility support., und . ICON, Seite 1-6. IEEE, (2013)GCP - A Group Communication Protocol for Supporting Closed Groups in the Internet., und . SMARTNET, Volume 212 von IFIP Conference Proceedings, Kluwer, (2002)