Autor der Publikation

Decomposition Structures for Event-B.

. IFM, Volume 5423 von Lecture Notes in Computer Science, Seite 20-38. Springer, (2009)

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

Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B., , und . TASE, Seite 1-8. IEEE, (2019)Incremental Database Design using UML-B and Event-B., , und . IMPEX/FM&MDD, Volume 271 von EPTCS, Seite 34-47. (2017)An Ordered Bipolar Outflow from a Massive Early-Stage Core, , , , , und . (24.01.2016)An Approach to Combining B and Alloy., und . ZB, Volume 2272 von Lecture Notes in Computer Science, Seite 140-161. Springer, (2002)Decomposition Structures for Event-B.. IFM, Volume 5423 von Lecture Notes in Computer Science, Seite 20-38. Springer, (2009)ProB: A Model Checker for B., und . FME, Volume 2805 von Lecture Notes in Computer Science, Seite 855-874. Springer, (2003)SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B., , und . FM Workshops (1), Volume 12232 von Lecture Notes in Computer Science, Seite 19-29. Springer, (2019)High-Level Rigorous Template for Analysing Safety Properties of Self-driving Vehicle Systems., , und . COMPSAC, Seite 1643-1648. IEEE, (2022)Verifying System-Level Security of a Smart Ballot Box., , , , , und . ABZ, Volume 12709 von Lecture Notes in Computer Science, Seite 34-49. Springer, (2021)Developing A New Language to Construct Algebraic Hierarchies for Event-B., , und . SETTA, Volume 10998 von Lecture Notes in Computer Science, Seite 135-141. Springer, (2018)