Team MOSEL

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, ….