Verification models and techniques applied to testing and control of reactive systems Équipe de recherche2540
VERTECSCampus de Beaulieu, 35042 Rennes cedexRNSR : 200218354WFrancehttp://www.inria.fr/equipes/vertecsDate de création : mardi 1 janvier 2002Date de fermeture/fusion : lundi 31 décembre 2012
Institut National de Recherche en Informatique et en Automatique Institution300009
InriaDomaine de Voluceau
Rocquencourt - BP 105
78153 Le Chesnay CedexROR : https://ror.org/02kvxyf05Francehttp://www.inria.fr/en/ Structure verrouillée