Author of the publication

Designing Exception Handling Using Event-B.

, , , , , , and . ABZ, volume 14759 of Lecture Notes in Computer Science, page 270-277. Springer, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Property Ownership Formal Modelling Using Event-B and iUML-B., , , and . ABZ, volume 14759 of Lecture Notes in Computer Science, page 191-200. Springer, (2024)Event-B Development of Modelling Human Intervention Request in Self-driving Vehicle Systems., , , and . ABZ, volume 14759 of Lecture Notes in Computer Science, page 43-60. Springer, (2024)SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B., , and . FM Workshops (1), volume 12232 of Lecture Notes in Computer Science, page 19-29. Springer, (2019)Developing the UML-B Modelling Tools., , , , and . SEFM Workshops, volume 13765 of Lecture Notes in Computer Science, page 181-188. Springer, (2022)Extensible Record Structures in Event-B., , , , and . ABZ, volume 12709 of Lecture Notes in Computer Science, page 130-136. Springer, (2021)A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design., , , , , , and . MoDELS (Companion), page 83-84. ACM, (2022)Building an Extensible Textual Framework for the Rodin Platform., , , , and . SEFM Workshops, volume 13765 of Lecture Notes in Computer Science, page 132-147. Springer, (2022)Designing Exception Handling Using Event-B., , , , , , and . ABZ, volume 14759 of Lecture Notes in Computer Science, page 270-277. Springer, (2024)Formal Derivation of Distributed MapReduce., , , , and . ABZ, volume 8477 of Lecture Notes in Computer Science, page 238-254. Springer, (2014)Verifiably Safe and Trusted Human-AI Systems: A Socio-technical Perspective., , , , , , and . TAS, page 56:1-56:6. ACM, (2023)