TickTac
From LRDE
Revision as of 17:00, 18 March 2019 by Daniela Becker (talk | contribs) (Created page with "Le projet TickTac a été retenu lors de l'appel à projet ANR 2018. Il est prévu pour une durée de 48 mois. Le consortium regroupe, en plus du LRDE, l'[https://www.irisa.fr...")
Le projet TickTac a été retenu lors de l'appel à projet ANR 2018. Il est prévu pour une durée de 48 mois. Le consortium regroupe, en plus du LRDE, l'Institut de recherche en informatique et systèmes aléatoires (IRISA), le Laboratoire Bordelais de Recherche en Informatique (LaBRI), le Laboratoire Spécification et Vérification (LSV), l'Institut des Systèmes Intelligents et de Robotique (ISIR) et le Laboratoire d’informatique et systèmes (LIS).