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. [...]
Type de document :
Article dans une revue
Discrete Event Dynamic Systems, Springer Verlag, 2013, 23 (4), pp.341-342. 〈10.1007/s10626-013-0168-0〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01418756
Contributeur : Abdoulaye Gamatié <>
Soumis le : vendredi 16 décembre 2016 - 23:49:05
Dernière modification le : jeudi 14 juin 2018 - 01:20:01
Document(s) archivé(s) le : mardi 21 mars 2017 - 07:35:29

Fichier

art%3A10.1007%2Fs10626-013-016...
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

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〉

Partager

Métriques

Consultations de la notice

52

Téléchargements de fichiers

105