Dominique Méry has created the MOSEL team which was first called MODEL. The main topics are formal methods (Event-B, TLA+, …) and applications as distributed systems, medical devices, ….
Dominique Méry has created the MOSEL team which was first called MODEL. The main topics are formal methods (Event-B, TLA+, …) and applications as distributed systems, medical devices, ….