High-confidence Embedded and Cyberphysical Systems

Équipes de recherche

INRIA
LIG
TIMA
VERIMAG
Publié le  1 juillet 2016
Mis à jour le 2 novembre 2026