Compositional certification: the CERCLES2 project - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

Compositional certification: the CERCLES2 project

Philippe Baufreton
  • Fonction : Auteur
Jean-Louis Dufour
  • Fonction : Auteur
Grégoire Henry
  • Fonction : Auteur
Pascal Manoury
  • Fonction : Auteur
Etienne Prun
  • Fonction : Auteur
Florian Thibord
  • Fonction : Auteur
Philippe Wang
  • Fonction : Auteur
Fichier non déposé

Dates et versions

hal-01215230 , version 1 (13-10-2015)

Identifiants

  • HAL Id : hal-01215230 , version 1

Citer

Philippe Baufreton, Emmanuel Chailloux, Jean-Louis Dufour, Grégoire Henry, Pascal Manoury, et al.. Compositional certification: the CERCLES2 project. Embedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France. pp.582-591. ⟨hal-01215230⟩
101 Consultations
0 Téléchargements

Partager

More