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 metadatas

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01418756
Contributor : Abdoulaye Gamatié <>
Submitted on : Friday, December 16, 2016 - 11:49:05 PM
Last modification on : Friday, October 19, 2018 - 8:16:01 PM
Long-term archiving on : Tuesday, March 21, 2017 - 7:35:29 AM

File

art%3A10.1007%2Fs10626-013-016...
Publisher files allowed on an open archive

Identifiers

Collections

Citation

É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⟩

Share

Metrics

Record views

107

Files downloads

251