Vérifications efficaces des applications scientifiques par analyse statique et instrumentation de code

par Thi Viet Nga Nguyen

Thèse de doctorat en Informatique, temps réel, robotique et automatique

Sous la direction de François Irigoin.

Soutenue en 2002

à Paris, ENMP .

  • Titre traduit

    Efficient and effective software verifications for scientific applications using static analysis and code instrumentation


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (189 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. 146 réf.

Où se trouve cette thèse ?

  • Bibliothèque : Mines ParisTech. Bibliothèque.
  • Non disponible pour le PEB
  • Cote : 02 NGU
  • Bibliothèque : Mines ParisTech. Bibliothèque.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.