Déduction automatique appliquée à l'analyse et la vérification de systèmes infinis - TEL - Thèses en ligne Accéder directement au contenu
Hdr Année : 2011

Automated Deduction applied to the Analysis and Verification of Infinite State Systems

Déduction automatique appliquée à l'analyse et la vérification de systèmes infinis

Fichier principal
Vignette du fichier
HDR-LjV.pdf (2.59 Mo) Télécharger le fichier
Loading...

Dates et versions

tel-00642467 , version 1 (18-11-2011)

Identifiants

  • HAL Id : tel-00642467 , version 1

Citer

Laurent Vigneron. Déduction automatique appliquée à l'analyse et la vérification de systèmes infinis. Cryptographie et sécurité [cs.CR]. Université Nancy II, 2011. ⟨tel-00642467⟩
163 Consultations
302 Téléchargements

Partager

Gmail Facebook X LinkedIn More