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

Laurent Vigneron 1
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Description de mes activités de recherche réalisées depuis plus de 20 ans.
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

Cited literature [249 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00642467
Contributor : Laurent Vigneron <>
Submitted on : Friday, November 18, 2011 - 9:08:18 AM
Last modification on : Tuesday, September 24, 2019 - 1:12:26 AM
Long-term archiving on : Friday, November 16, 2012 - 11:25:37 AM

Identifiers

  • HAL Id : tel-00642467, version 1

Citation

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⟩

Share

Metrics

Record views

415

Files downloads

345