A Framework for Critical Interactive System Formal Modelling and Analysis

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

Leveraging Event-B Theories for Handling Domain Knowledge in Design Models

von Mendil, Ismail
Veröffentlicht in SETTA (7. : 2021 : Peking) Dependable software engineering (2021)

Standard Conformance-by-Construction with Event-B

von Mendil, Ismail
Veröffentlicht in FMICS (26. : 2021 : Online) Formal Methods for Industrial Critical Systems (2021)

Empowering the Event-B Method Using External Theories

von Aït-Ameur, Yamine
Veröffentlicht in iFM (17. : 2022 : Lugano) Integrated formal methods (2022)