TEMPO (SR0629VR)

Trustworthy EMbedded PlatfOrms

TEMPO

Statut: Terminée

Responsable : Vania Joloboff

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : Aucun mot-clé.

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : Aucun mot-clé.

Domaine : Algorithmique, programmation, logiciels et architectures
Thème : Preuves et vérification

Période : 01/01/2014 -> 01/09/2015
Dates d'évaluation :

Etablissement(s) de rattachement : <sans>
Laboratoire(s) partenaire(s) : <sans UMR>

CRI : Siège
Localisation : Institute of Automation - LIAMA
Code structure Inria : 021132-0

Numéro RNSR : 201421131M
N° de structure Inria: SR0629VR

Présentation

Axes de recherche

Relations industrielles et internationales