Contient 11 communications sélectionnées parmi les 30 présentées à MSR'2001, troisième colloque francophone sur la modélisation des systèmes réactifs, qui s'est tenu à Toulouse du 17 au 19 octobre 2001. Ce colloque se situe dans les domaines de la spécification formelle, la modélisation, l'analyse et la réalisation de systèmes informatiques contraints par l'environnement observé et/ou commandé. ©Electre 2024
Paru le : 06/11/2002
Thématique : Physique générale Automatique
Auteur(s) : Non précisé.
Éditeur(s) :
Lavoisier-Hermès
Collection(s) : Non précisé.
Contributeur(s) : Directeur de publication : Guy Juanole - Directeur de publication : Robert Valette - Directeur de publication : François Vernadat
Série(s) : Non précisé.
ISBN : Non précisé.
EAN13 : 9782746205734
Reliure : Broché
Pages : 160
Hauteur: 24.0 cm / Largeur 16.0 cm
Poids: 260 g
Carte fidélité
Mollat Radio
