Modelling of reactive systems

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é.