Skip to content
Presentation
Teams
Logic, Computation and Programming
Systems Specification and Verification
Masters
Members
Publications
Seminar
Positions 2025
Contact
How to get here?
Log In
Presentation
Teams
Logic, Computation and Programming
Systems Specification and Verification
Masters
Members
Publications
Seminar
Positions 2025
Contact
How to get here?
Log In
TBA
April 20, 2020
Arnaud de Mesmay
(LIGM)
TBA
Post navigation
Mesures logicielles (Annulé)
FORMOSE : une méthode outillée de modélisation formelle des exigences pour des systèmes complexes critiques
