Télécharger le livre :  Approches formelles des systèmes embarqués communicants

Les systèmes embarqués sont un enjeu industriel et académique incontesté et connaissent une complexité grandissante : architectures réparties et hétérogènes, ressources limitées, systèmes "concurrents" et communicants. Ces systèmes sont souvent critiques et soumis à des...
Editeur : Hermés science
Parution : 2008-10-16
Collection : Traité IC2
Format(s) : PDF sans DRM
103,39