A Formal Approach for the Modeling of High-Level Architectures Aligned with System Requirements

von Bougacha, Racem
Veröffentlicht in ABZ (Veranstaltung : 7. : 2020 : Ulm) Rigorous state-based methods (2020)

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)