|
Titre :
|
Journal européen des systèmes automatisés.
|
|
Titre de série :
|
Journal européen des systèmes automatisés, 7 (2002)
|
|
Auteurs :
|
Guy Juanole, Metteur en scène, réalisateur ;
Robert Valette, Metteur en scène, réalisateur ;
François Vernadat, Metteur en scène, réalisateur
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Paris : Hermès science publications, 2002
|
|
ISBN/ISSN/EAN :
|
978-2-7462-0573-4
|
|
Format :
|
160 p. / ill. / 24 x 16 cm
|
|
Note générale :
|
Textes en anglais
|
|
Langues:
|
Français
|
|
Index. décimale :
|
629.5
|
|
Mots-clés:
|
temps réel (informatique)
;
commande en temps réel
;
Petri, réseaux de
|
|
Résumé :
|
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é.
|
