High-confidence Embedded and Cyberphysical Systems

Imprimer Partager

Équipes de recherche

INRIA
  • Spades - Sound Programming of Adaptive Dependable Embedded Systems
LIG
  • ConVeCS - Construction of Verified Concurrent Systems
  • CORSE - Compiler Optimizations and Runtime Systems
TIMA
VERIMAG
  • PACS - Proofs and Code analysis for Security
Publié le  1 juillet 2016
Mis à jour le 29 octobre 2024