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

Designing and Implementing Correct Real-Time Systems., , , und . FTRTFT, Volume 863 von Lecture Notes in Computer Science, Seite 228-246. Springer, (1994)Improving the Accuracy of Scheduling Analysis Applied to Distributed Systems Computing Minimal Response Times and Reducing Jitter., , und . Real Time Syst., 20 (1): 5-25 (2001)A Formal Design and Implementation Method for Real-Time Embedded Systems., , , , und . EUROMICRO, Seite 77-. IEEE Computer Society, (1996)bCANDLE: Formal Modelling and Analysis of CAN Control Systems., , , und . IEEE Real Time Technology and Applications Symposium, Seite 171-177. IEEE Computer Society, (1998)Validation, verification and implementation of timed protocols using AORTA., , , und . PSTV, Volume 38 von IFIP Conference Proceedings, Seite 205-220. Chapman & Hall, (1995)A formal design language for real-time systems with data., , , und . Sci. Comput. Program., 40 (1): 3-29 (2001)Application-oriented real time algebra., , , und . Softw. Eng. J., 9 (5): 201-212 (1994)A formally based hard real-time kernel., , , und . Microprocess. Microsystems, 18 (9): 513-521 (1994)On Behavior, Inheritance, and Evolution., und . JOOP, 8 (5): 38-42 (1995)Integrating AORTA with Model-Based Data Specification Languages., , , und . FASE, Volume 1382 von Lecture Notes in Computer Science, Seite 54-70. Springer, (1998)