High-confidence Embedded and Cyberphysical Systems

Research Teams

INRIA
LIG
TIMA
VERIMAG
Published on  July 12, 2016
Updated on November 2, 2026