Autor der Publikation

B Formal Validation of ERTMS/ETCS Railway Operating Rules.

, , , , und . ABZ, Volume 8477 von Lecture Notes in Computer Science, Seite 124-129. Springer, (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

A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules., , , , und . RSSRail, Volume 11495 von Lecture Notes in Computer Science, Seite 173-190. Springer, (2019)Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol, , und . CoRR, (2010)Mathematical Foundations for Program Transformations., , , und . LOPSTR, Volume 1559 von Lecture Notes in Computer Science, Seite 319-321. Springer, (1998)Event-B Decomposition Analysis for Systems Behavior Modeling., , , , , und . ICSOFT, Seite 278-286. SciTePress, (2019)A calculus of program adaptation and its applications., , , und . Sci. Comput. Program., 38 (1-3): 73-124 (2000)Capturing pointer semantics and scoping rules., , und . RelMiCS, Seite 3-7. (1998)B Formal Validation of ERTMS/ETCS Railway Operating Rules., , , , und . ABZ, Volume 8477 von Lecture Notes in Computer Science, Seite 124-129. Springer, (2014)Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -., , , , und . FMICS, Volume 11687 von Lecture Notes in Computer Science, Seite 93-109. Springer, (2019)Analysis and Formal Modeling of Systems Behavior Using UML/Event-B., , , , und . JCM, 14 (10): 980-986 (2019)Impact of replica placement-based clustering on fault tolerance in grid computing., , und . Int. J. Web Eng. Technol., 14 (2): 151-177 (2019)