An integrated language for the specification, simulation, formal analysis and enactment of discrete event systems. (Un langage intégré pour la spécification, simulation, analyse formelle et en-action des systèmes à événements discrets).
O. Maïga. Blaise Pascal University, Clermont-Ferrand, France, (2015)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Thesis
%1 phd/hal/Maiga15
%A Maïga, Oumar
%D 2015
%K
%T An integrated language for the specification, simulation, formal analysis and enactment of discrete event systems. (Un langage intégré pour la spécification, simulation, analyse formelle et en-action des systèmes à événements discrets).
@phdthesis{phd/hal/Maiga15,
added-at = {2023-12-13T04:43:24.000+0100},
author = {Maïga, Oumar},
biburl = {https://www.bibsonomy.org/bibtex/27d17360975b1f3dbdaa3eaa8c1e1711d/admin},
ee = {https://tel.archives-ouvertes.fr/tel-01330780},
interhash = {9980428991fc3dbc25a210706f28ef3e},
intrahash = {7d17360975b1f3dbdaa3eaa8c1e1711d},
keywords = {},
school = {Blaise Pascal University, Clermont-Ferrand, France},
timestamp = {2023-12-13T04:43:24.000+0100},
title = {An integrated language for the specification, simulation, formal analysis and enactment of discrete event systems. (Un langage intégré pour la spécification, simulation, analyse formelle et en-action des systèmes à événements discrets).},
year = 2015
}