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)

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]

Abstract

Abstract is missing.