Autor der Publikation

Systems Engineering for Industrial Cyber-Physical Systems Using Aspects.

, , , und . Proceedings of the IEEE, 104 (5): 997-1012 (2016)

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

Distributed Simulation of Heterogeneous and Real-Time Systems., , , , und . DS-RT, Seite 55-62. IEEE Computer Society, (2013)Systems Engineering for Industrial Cyber-Physical Systems Using Aspects., , , und . Proceedings of the IEEE, 104 (5): 997-1012 (2016)Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems., , , , , , , , , und . ACM Trans. Embed. Comput. Syst., 16 (5s): 169:1-169:20 (2017)Time in cyber-physical systems., , , , , , , , und . CODES+ISSS, Seite 4:1-4:10. ACM, (2016)Models and Tools for SOA Governance., und . TEAA, Volume 4473 von Lecture Notes in Computer Science, Seite 112-126. Springer, (2006)Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems., , , , und . IEEE Real-Time and Embedded Technology and Applications Symposium, Seite 77-86. IEEE Computer Society, (2009)Could an Agile Requirements Analysis Be Automated?-Lessons Learned from the Successful Overhauling of an Industrial Automation System., , , , und . Monterey Workshop, Volume 5320 von Lecture Notes in Computer Science, Seite 25-42. Springer, (2007)Simulation and Implementation of the PTIDES Programming Model., , und . DS-RT, Seite 330-333. IEEE Computer Society, (2008)Cyber-physical system design contracts., , , und . ICCPS, Seite 109-118. ACM, (2013)A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited., , , , , , , , , und . DAC, Seite 69:1-69:6. ACM, (2017)