Etude et mise en œuvre de techniques de validation à l'exécution. (Study and implementation of runtime validation techniques)

Yliès Falcone. Etude et mise en œuvre de techniques de validation à l'exécution. (Study and implementation of runtime validation techniques). PhD thesis, Joseph Fourier University, Grenoble, France, 2009. [doi]

Bibliographies