Communication Dans Un Congrès
Année : 2014
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01215230
Soumis le : mardi 13 octobre 2015-17:20:53
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
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⟩
Collections
101
Consultations
0
Téléchargements