TY  - THES
DP  - http://www.theses.fr/2015CLF22662
TI  - An integrated language for the specification, simulation, formal analysis and enactment of discrete event systems
AU  - Maïga, Oumar
A3  - Traoré, Mamadou Kaba; Diallo, Ouaténi
PY  - 2015
N1  - Thèse de doctorat Informatique Clermont-Ferrand 2 2015
N1  - Thèse de doctorat Informatique Université des sciences, des techniques et des technologies de Bamako (Mali) 2015
N1  - 2015CLF22662
UR  - http://www.theses.fr/2015CLF22662/document
ER  -