Methods
Conferences
Case Studies
Publications
Keynotes
Committee
ABZ 2020 (Ulm, Germany)
Case Study
Date
Jun 9, 2020 — Jun 13, 2020
Event
7th International Conference on Rigorous State-Based Methods
Location
Ulm, Germany
This conference was postponed due to the international outbreak of CoVid-19. See
ABZ 2021
ABZ'20
Related
A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System
An Event-B Model of an Automotive Adaptive Exterior Light System
Modeling of a Speed Control System using Event-B
Modelling an automotive software-intensive system with adaptive features using ASMETA
Modelling and Validating an Automotive System in Classical B and Event-B
Cite
×