-
Formal Specification of Medical Systems by Proof-Based Refinement
International audience -
Analysis of DSR Protocol in Event-B
International audience -
Medical Protocol Diagnosis using Formal Methods
International audience -
Ship behavior recognition in a sensitive port area using probabilistic and ev...
The overall aim of this thesis was to create a decision support system that identifies discrepancies in ship behavior. The thesis was a part of the SECMAR project that... -
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.
