Domain ontologies : a database-oriented analysis

von Jean, Stéphane
Veröffentlicht in Web information systems and technologies (2007)

Event-B-Supported Choreography-Defined Communicating Systems: Correctness and Completeness

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

Realisability of Control-State Choreographies

von Schewe, Klaus-Dieter
Veröffentlicht in MEDI (10. : 2021 : Online) Model and Data Engineering (2021)

Model and data engineering : 4th international conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014 ; proceedings

Veröffentlicht 2014

Formal methods and software engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019 : proceedings

Veröffentlicht 2019

Abstract state machines, alloy, B, TLA, VDM, and Z (ABZ 2014) : selected and extended papers from ABZ 2014

Veröffentlicht 2016

Abstract state machines, alloy, B, TLA, VDM, and Z (ABZ 2014) : selected and extended papers from ABZ 2014

Veröffentlicht 2016

Event-B Refinement for Continuous Behaviours Approximation

von Dupont, Guillaume
Veröffentlicht in ATVA (19. : 2021 : Online) Automated Technology for Verification and Analysis (2021)

ABZ 2014: the Landing Gear case study : case study track, held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2...

Veröffentlicht 2014

An Event-B Based Generic Framework for Hybrid Systems Formal Modelling

von Dupont, Guillaume
Veröffentlicht in iFM (16. : 2020 : Online) Integrated formal methods (2020)

Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B

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

Standard Conformance-by-Construction with Event-B

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

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)

Reachability Analysis and Simulation for Hybridised Event-B Models

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

Abstract state machines, alloy, B, TLA, VDM, and Z : 4th international conference; proceedings

Veröffentlicht 2014

Formal Distributed Protocol Development for Reservation of Railway Sections

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

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)

Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement

von Dupont, Guillaume
Veröffentlicht in ICFEM (22. : 2021 : Singapur) Formal methods and software engineering (2021)

Model and data engineering : 6th international conference, MEDI 2016, Almería, Spain, September 21-23, 2016 : proceedings

Veröffentlicht 2016

Empowering the Event-B Method Using External Theories

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