Muriel Jourdan. 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). PhD thesis, Joseph Fourier University, Grenoble, France, 1994. [doi]
@phdthesis{hal-5279,
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)},
author = {Muriel Jourdan},
year = {1994},
url = {https://tel.archives-ouvertes.fr/tel-00005099},
researchr = {https://researchr.org/publication/hal-5279},
cites = {0},
citedby = {0},
school = {Joseph Fourier University, Grenoble, France},
}