Ouvrages
Année : 2008
Olivier Henri Roux : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00523945
Soumis le : mercredi 6 octobre 2010-16:08:38
Dernière modification le : mardi 3 décembre 2024-15:44:02
Dates et versions
Identifiants
- HAL Id : hal-00523945 , version 1
Citer
Olivier Henri Roux, Claude Jard (Dir.). Approches formelles des systèmes embarqués communicants. Hermes Lavoisier, pp.268, 2008. ⟨hal-00523945⟩
Collections
352
Consultations
0
Téléchargements