Formal Methods, Models, and Languages

Coordinators: 
Les équipes de l'axe étudient les concepts, formalismes, techniques et outils permettant la description, l'analyse et le raisonnement sur des systèmes complexes, afin d'obtenir des systèmes a la fois plus riches en fonctionnalités, plus robustes, plus surs et plus efficaces.
Keywords: 
Subscribe to RSS - Formal Methods, Models, and Languages