Theory and Practice of Synchronous Reactive Systems Équipe de recherche2486

TICKRNSR : 200321501MFrance

 Inria Sophia Antipolis - Méditerranée Laboratoire34586

CRISAM2004 route des Lucioles BP 93 06902 Sophia AntipolisRNSR : 198318250RROR : https://ror.org/01nzkaw91Francehttp://www.inria.fr/centre/sophia/

 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

 Mines Paris - PSL (École nationale supérieure des mines de Paris) Institution301492

60, boulevard Saint-Michel 75006 ParisIdRef : 026375249ROR : https://ror.org/04y8cs423Francehttps://www.minesparis.psl.eu/Date de création : mercredi 1 janvier 1783

 Université Paris Sciences et Lettres Regroupement d'Institutions564132

PSL60 rue Mazarine 75006 ParisIdRef : 241597595ISNI : 0000 0004 1784 3645Francehttps://www.psl.eu/