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, ….
The MOSEL team shares members with the VERIDIS INRIA project.
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, ….
The MOSEL team shares members with the VERIDIS INRIA project.