-
Medical Protocol Diagnosis Using Formal Methods
International audience -
Modelling an Aircraft Landing System in Event-B (Full Report)
The failure of hardware or software in a critical system can lead to loss of lives. The design errors can be main source of the failures that can be introduced during... -
A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify ...
Article dans revue scientifique avec comité de lecture.
