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

Safety-critical Java for low-end embedded platforms., , und . JTRES, Seite 44-53. ACM, (2012)Specification Of Embedded, Real-time Systems., , , und . RTS, Seite 116-121. IEEE, (1992)Introduction., , , und . Hybrid Systems, Volume 736 von Lecture Notes in Computer Science, Seite 1-3. Springer, (1992)Developing a TTCN-3 Test Harness for Legacy Software., , , und . AST, Seite 104-110. ACM, (2006)Passive fault-tolerant control of discrete time piecewise affine systems against actuator faults., , , und . Int. J. Syst. Sci., 43 (11): 1985-1997 (2012)HomePort: Middleware for heterogeneous home automation networks., , , , und . PerCom Workshops, Seite 627-633. IEEE Computer Society, (2013)Model Checking Feature Interactions., , , , und . ICSOFT (Selected Papers), Volume 586 von Communications in Computer and Information Science, Seite 307-325. Springer, (2015)Cyclic executive for safety-critical Java on chip-multiprocessors., und . JTRES, Seite 63-69. ACM, (2010)AsmL Specification of a Ptolemy II Scheduler., , und . Abstract State Machines, Volume 2589 von Lecture Notes in Computer Science, Seite 417. Springer, (2003)Verifying duration properties of timed transition systems., , und . PROCOMET, Volume 125 von IFIP Conference Proceedings, Seite 327-345. Chapman & Hall, (1998)