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)
%0 Thesis
%1 phd/hal/Jourdan94
%A Jourdan, Muriel
%D 1994
%K dblp
%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 = {2020-07-21T00:00:00.000+0200},
author = {Jourdan, Muriel},
biburl = {https://www.bibsonomy.org/bibtex/208eae980a071be5f7fffcac881dbc954/dblp},
ee = {https://tel.archives-ouvertes.fr/tel-00005099},
interhash = {da6d698f33fcfda89760bf2257cc1b12},
intrahash = {08eae980a071be5f7fffcac881dbc954},
keywords = {dblp},
school = {Joseph Fourier University, Grenoble, France},
timestamp = {2020-07-24T00:57:37.000+0200},
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
}
