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

Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP., , , und . FM, Volume 11800 von Lecture Notes in Computer Science, Seite 727-737. Springer, (2019)A formal approach to collaborative modelling and co-simulation for embedded systems., , , und . Math. Struct. Comput. Sci., 23 (4): 726-750 (2013)The overture initiative integrating tools for VDM., , , , , und . ACM SIGSOFT Softw. Eng. Notes, 35 (1): 1-6 (2010)Modeling and Validating Distributed Embedded Real-Time Systems with VDM++., , und . FM, Volume 4085 von Lecture Notes in Computer Science, Seite 147-162. Springer, (2006)Guest editors' introduction: quantitative analysis of real-time embedded systems., , und . Int. J. Softw. Tools Technol. Transf., 8 (6): 605-606 (2006)Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems., , , , und . IFM, Volume 6396 von Lecture Notes in Computer Science, Seite 12-26. Springer, (2010)From Embedded to Cyber-Physical Systems: Challenges and Future Directions., , und . Collaborative Design for Embedded Systems, Springer, (2014)Discrete-Event Modelling in VDM., , , und . Collaborative Design for Embedded Systems, Springer, (2014)Deploying Co-modelling in Commercial Practice., , und . Collaborative Design for Embedded Systems, Springer, (2014)Digital Engineering Hub Pathfinder., , , , , , , , , und 1 andere Autor(en). MoDELS (Companion), Seite 467-476. IEEE, (2021)