Formal domain-driven system development in Event-B: Application to interactive critical systems
Article in Journal of Systems Architecture (February 2023)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
Article in Journal of Systems Architecture (February 2023)
Book chapter (November 2021)
Book chapter (August 2021)