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

A Formal Model-Based Approach to Engineering Systems-of-Systems., , und . PRO-VE, Volume 380 von IFIP Advances in Information and Communication Technology, Seite 53-62. Springer, (2012)A formal approach to collaborative modelling and co-simulation for embedded systems., , , und . Math. Struct. Comput. Sci., 23 (4): 726-750 (2013)Experiences in Developing a Proof Theory for VDM Specifications., und . Semantics of Specification Languages, Seite 101-117. Springer, (1993)Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM., , und . FM, Volume 5014 von Lecture Notes in Computer Science, Seite 181-197. Springer, (2008)Co-modelling of Faults and Fault Tolerance Mechanisms., , , und . Collaborative Design for Embedded Systems, Springer, (2014)A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems., , , , , , , , und . SIMULTECH, Seite 263-270. ScitePress, (2020)Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design., , , , , und . ISoLA (2), Volume 9953 von Lecture Notes in Computer Science, Seite 171-186. (2016)SEsCPS 2017 Workshop Summary., , , und . SEsCPS@ICSE, Seite 1. IEEE, (2017)Six Software Engineering Principles for Smarter Cyber-Physical Systems., , , , , , , , , und 1 andere Autor(en). ACSOS-C, Seite 198-203. IEEE, (2021)Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems., , , und . Applicable Formal Methods for Safe Industrial Products, Volume 14165 von Lecture Notes in Computer Science, Seite 222-236. Springer, (2023)