Skip to Main content Skip to Navigation
Journal articles

Special section on modeling of reactive systems

Étienne Craye 1 Abdoulaye Gamatié 2
2 SysMIC - Conception et Test de Systèmes MICroélectroniques
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : This Special Section of J-DEDS on Modeling of Reactive Systems was inspired by the eighth edition of the French-speaking conference “Modélisation des Systèmes Réactifs—MSR 2011.” MSR 2011 was organized by the LAGIS (Laboratoire d’Automatique, Génie Informatique et Signal) and LIFL (Laboratoire d’Informatique Fondamentale de Lille) laboratories, and held at École Centrale de Lille, France, on November 16–18, 2011. MSR is a conference that traditionally gathers French-speaking researchers from both the Computer Science and the Automatic Control communities, and that are involved in the modeling, analysis and control of reactive systems. [...]
Complete list of metadata
Contributor : Abdoulaye Gamatié <>
Submitted on : Friday, December 16, 2016 - 11:49:05 PM
Last modification on : Tuesday, November 24, 2020 - 2:18:22 PM
Long-term archiving on: : Tuesday, March 21, 2017 - 7:35:29 AM


Publisher files allowed on an open archive




Étienne Craye, Abdoulaye Gamatié. Special section on modeling of reactive systems. Discrete Event Dynamic Systems, Springer Verlag, 2013, 23 (4), pp.341-342. ⟨10.1007/s10626-013-0168-0⟩. ⟨lirmm-01418756⟩



Record views


Files downloads