Extending SYSML with Refinement and Decomposition Mechanisms to Generate EVENT-B Specifications

von Bougacha, Racem
Veröffentlicht in International Symposium on Theoretical Aspects of Software Engineering (16. : 2022 : Cluj-Napoca) Theoretical aspects of software engineering (2022)

Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications

von Bougacha, Racem
Veröffentlicht in CRiSIS (17. : 2022 : Sousse) Risks and Security of Internet and Systems (2023)

Towards a Method for the Decomposition by Refinement in Event-B

von Kraibi, Kenza
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 2 (2020)