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 : vendredi 5 janvier 2024-03:23:32
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
351
Consultations
0
Téléchargements