Autor der Publikation

Application of an intelligent network architecture on a cooperative cyber-physical system: An experience report.

, , , , und . ETFA, Seite 1-6. IEEE, (2014)

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

Domain-Specific Model Checking for Cyber-Physical Systems., , , und . MoDeVVa@MoDELS, Volume 1514 von CEUR Workshop Proceedings, Seite 18-27. CEUR-WS.org, (2015)Specifying Intra-Component Dependencies for Synthesizing Component Behaviors., , und . ModComp@MoDELS, Volume 1281 von CEUR Workshop Proceedings, Seite 16-25. CEUR-WS.org, (2014)Real-Time Coordination Patterns for Advanced Mechatronic Systems., , und . COORDINATION, Volume 7274 von Lecture Notes in Computer Science, Seite 166-180. Springer, (2012)How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach., , , , , , , und . SETTA, Volume 10606 von Lecture Notes in Computer Science, Seite 319-336. Springer, (2017)Application of an intelligent network architecture on a cooperative cyber-physical system: An experience report., , , , und . ETFA, Seite 1-6. IEEE, (2014)The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems, , , , , , und . Proceedings of the 36th International Conference on Software Engineering (Posters), ACM, New York, NY, USA, (2014)accepted.The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling, , , , , , , , , und . tr-ri-14-337. Heinz Nixdorf Institute, University of Paderborn, (2014)Automata-based refinement checking for real-time systems., , , und . Comput. Sci. Res. Dev., 30 (3-4): 255-283 (2015)A modelica coordination pattern library for cyber-physical systems., , , , und . SimuTools, Seite 76-85. ICST/ACM, (2014)A tool suite for the model-driven software engineering of cyber-physical systems., , , , , und . SIGSOFT FSE, Seite 715-718. ACM, (2014)