Combination of approaches to the security of infinite states systems Équipe de recherche189789

CASSISRNSR : 200318302KFrancehttp://www.inria.fr/equipes/cassisDate de fermeture/fusion : jeudi 31 décembre 2015

 Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) Laboratoire866

FEMTO-ST32 avenue de l'Observatoire 25044 BESANCON CEDEXIdRef : 152639071RNSR : 200412232HFrancehttp://www.femto-st.frDate de création : jeudi 1 janvier 2004

 Université de Technologie de Belfort-Montbeliard Institution300261

UTBMFrance

 Ecole Nationale Supérieure de Mécanique et des Microtechniques Institution300360

ENSMMÉcole Nationale Supérieure de Mécanique et des Microtechniques 26, rue de l'épitaphe CS 51813 25030 BESANÇON CEDEX - FRANCEIdRef : 201436736ROR : https://ror.org/05813w841France

 Centre National de la Recherche Scientifique Regroupement d'Institutions441569

CNRSIdRef : 02636817XISNI : 0000000122597504ROR : https://ror.org/02feahw73Francehttps://www.cnrs.fr/Date de création : jeudi 19 octobre 1939 Structure verrouillée

 Université de Franche-Comté Institution458810

UFC1 rue Goudimel 25030 Besançon cedexIdRef : 026403188ISNI : 0000000121883779ROR : https://ror.org/03pcc9z86Francehttp://www.univ-fcomte.fr Structure verrouillée

 Université Bourgogne Franche-Comté [COMUE] Regroupement d'Institutions426438

UBFC32, avenue de l’observatoire 25000 BESANCONIdRef : 200716271ISNI : 0000 0004 4910 6615ROR : https://ror.org/02dn7x778Francehttp://www.ubfc.frDate de création : mercredi 1 avril 2015

 Inria Nancy - Grand Est Laboratoire129671

615 rue du Jardin Botanique 54600 Villers-lès-NancyRNSR : 198618246YROR : https://ror.org/03fcjvn64Francehttp://www.inria.fr/nancy

 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

 Department of Formal Methods Regroupement d'équipes423084

LORIA - FMFrancehttp://www.loria.fr/en/research/departments/formal-methods/

 Laboratoire Lorrain de Recherche en Informatique et ses Applications Laboratoire206040

LORIACampus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy CedexIdRef : 067077927ISNI : 0000000121795429RNSR : 198912571SIdUnivLorraine : [UL]RSI--ROR : https://ror.org/02vnf0c38Francehttp://www.loria.frDate de création : dimanche 1 janvier 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

 Université de Lorraine Institution413289

UL34 cours Léopold - CS 25233 - 54052 Nancy cedexIdRef : 157040569IdUnivLorraine : [UL]100--ROR : https://ror.org/04vfs2w97Francehttp://www.univ-lorraine.fr/Date de création : dimanche 1 janvier 2012 Structure verrouillée

 Centre National de la Recherche Scientifique Regroupement d'Institutions441569

CNRSIdRef : 02636817XISNI : 0000000122597504ROR : https://ror.org/02feahw73Francehttps://www.cnrs.fr/Date de création : jeudi 19 octobre 1939 Structure verrouillée