Autor der Publikation

A Case Study: SOFL + Model Checking for OSEK/VDX Application.

, , , und . SOFL+MSVL, Volume 9559 von Lecture Notes in Computer Science, Seite 132-146. Springer, (2015)

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

New Algorithms for the Minimum-Cost Single-Source Unsplittable Flow Problem., , und . AINA Workshops (1), Seite 136-141. IEEE Computer Society, (2007)Emulation framework for the design and development of active RFID tag systems., , , , , , und . JAISE, 2 (2): 155-177 (2010)DPSC: A Novel Scheduling Strategy for Overloaded Real-Time Systems., , , und . CSE, Seite 1017-1023. IEEE Computer Society, (2014)Large-scale Simulation Method of Mobile Robots., , , , und . ISUC, Seite 309-314. IEEE Computer Society, (2008)Priority based maximum consuming power control in smart homes., , , und . ISGT, Seite 1-5. IEEE, (2014)Collaborative motion planning of autonomous robots., , , , und . CollaborateCom, Seite 328-335. IEEE Computer Society / ICST, (2007)A Multi-Purpose Wireless Network Emulator: QOMET., , , , , und . AINA Workshops, Seite 223-228. IEEE Computer Society, (2008)SMT-based scheduling for multiprocessor real-time systems., , , und . ICIS, Seite 1-7. IEEE Computer Society, (2016)Study of temperature control using cyber-physical system approach in home environment., , , und . CPSNA, Seite 78-83. IEEE Computer Society, (2013)A Novel Human Activity Recognition and Prediction in Smart Home Based on Interaction., , und . Sensors, 19 (20): 4474 (2019)