Autor der Publikation

Kiltera: A Language for Timed, Event-Driven, Mobile and Distributed Simulation.

, und . DS-RT, Seite 87-96. IEEE Computer Society, (2010)

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

Theory and Implementation of a Real-Time Extension to the pi-Calculus., und . FMOODS/FORTE, Volume 6117 von Lecture Notes in Computer Science, Seite 125-139. Springer, (2010)Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems., , , und . ICST, Seite 269-278. IEEE Computer Society, (2011)Kiltera: A Simulation Language for Timed, Dynamic Structure Systems., und . Annual Simulation Symposium, Seite 293-300. IEEE Computer Society, (2007)Slicing UML-based Models of Real-time Embedded Systems., , und . MoDELS, Seite 346-356. ACM, (2018)Contract-Based Specification and Analysis of AADL Models., und . ACVI@MoDELS, Volume 1233 von CEUR Workshop Proceedings, CEUR-WS.org, (2014)Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus., , , , und . BM-FA, Seite 1. ACM, (2010)Towards Seamless Hybrid Graphical-Textual Modelling for UML and Profiles., , , und . ECMFA, Volume 10376 von Lecture Notes in Computer Science, Seite 20-33. Springer, (2017)Run-time conformance checking of mobile and distributed systems using executable models., , und . PADTAD, ACM, (2009)Kiltera: A Language for Timed, Event-Driven, Mobile and Distributed Simulation., und . DS-RT, Seite 87-96. IEEE Computer Society, (2010)PapyrusRT: Modelling and Code Generation (Invited Presentation).. OSS4MDE@MoDELS, Volume 1541 von CEUR Workshop Proceedings, Seite 54-63. CEUR-WS.org, (2015)