Raphaël Jakse. Vérification interactive de propriétés à l'exécution. (Interactive runtime verification). PhD thesis, Grenoble Alpes University, France, 2019. [doi]
@phdthesis{hal-13041, title = {Vérification interactive de propriétés à l'exécution. (Interactive runtime verification)}, author = {Raphaël Jakse}, year = {2019}, url = {https://tel.archives-ouvertes.fr/tel-02460734}, researchr = {https://researchr.org/publication/hal-13041}, cites = {0}, citedby = {0}, school = {Grenoble Alpes University, France}, }