Etude d'un environnement de programmation et de vérification des systèmes réactifs, multi-langages et multi-outils. (A multiparadigm langage and multi-tools environment for programming and verifying reactive systems).
M. Jourdan. Joseph Fourier University, Grenoble, France, (1994)
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/Jourdan94
%A Jourdan, Muriel
%D 1994
%K
%T Etude d'un environnement de programmation et de vérification des systèmes réactifs, multi-langages et multi-outils. (A multiparadigm langage and multi-tools environment for programming and verifying reactive systems).
@phdthesis{phd/hal/Jourdan94,
added-at = {2023-12-13T10:44:36.000+0100},
author = {Jourdan, Muriel},
biburl = {https://www.bibsonomy.org/bibtex/208eae980a071be5f7fffcac881dbc954/admin},
ee = {https://tel.archives-ouvertes.fr/tel-00005099},
interhash = {da6d698f33fcfda89760bf2257cc1b12},
intrahash = {08eae980a071be5f7fffcac881dbc954},
keywords = {},
school = {Joseph Fourier University, Grenoble, France},
timestamp = {2023-12-13T10:44:36.000+0100},
title = {Etude d'un environnement de programmation et de vérification des systèmes réactifs, multi-langages et multi-outils. (A multiparadigm langage and multi-tools environment for programming and verifying reactive systems).},
year = 1994
}