The NU system as a development system for concurrent programs

von Méry, Dominique
Veröffentlicht in Theoretical computer science, 94.1992 (1992)

Deriving OCCAM programs through the transformation of UNITY-like specifications

von Brown, Nai͏̈ma
Veröffentlicht 1991

A proof environment for a subset of SDL

von Mery, Dominique
Veröffentlicht 1991

A Refinement Strategy for Hybrid System Design with Safety Constraints

von Cheng, Zheng
Veröffentlicht in MEDI (10. : 2021 : Online) Model and Data Engineering (2021)

Deriving occam programs through the refinement of unity-like specifications

von Brown, Naima
Veröffentlicht 1992

RenPar'10, Dixièmes Rencontres Francophones du Parallélisme : Strasbourg, 9 - 12 juin 1998

Veröffentlicht 1998

Rigorous State-Based Methods : 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, proceedings

Veröffentlicht 2021

Special issue on ABZ 2020 Rigorous State Based Methods

Veröffentlicht 2021-2022

Integrated formal methods : 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 ; proceedings

Veröffentlicht 2010

Theoretical aspects of computing - ICTAC 2014 : 11th international colloquium, Bucharest, Romania, September 17-19, 2014 ; proceedings

Veröffentlicht 2014

Rigorous state-based methods : 7th international conference, ABZ 2020, Ulm, Germany, May 27-29, 2020 : proceedings

Veröffentlicht 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)

Rigorous state-based methods : 9th International Conference, ABZ 2023, Nancy, France, May 30 – June 2, 2023, proceedings

Veröffentlicht 2023

Special issue on theoretical aspect of software engineering (TASE 2019)

Veröffentlicht 2020-2022

Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661

von Singh, Neeraj Kumar
Veröffentlicht in FTSCS (7. : 2019 : Shenzhen) Formal techniques for safety-critical systems (2020)

Empowering the Event-B Method Using External Theories

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

Model and data engineering : 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018 : proceedings

Veröffentlicht 2018

New trends in model and data engineering : MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018 : proceedings

Veröffentlicht 2018