Baptiste Poirriez - Irisa

Notre sujet est situé au carrefour de quatre directions : l'informatique système, les sys- tèmes cyberphysiques, le contrôle de flux d' ...

Contrôle vérifié de flux d'information appliqué aux systèmes cy