Preuve et vérification pour la sécurité et la sûreté - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2006

Preuve et vérification pour la sécurité et la sûreté

Fichier non déposé

Dates et versions

hal-03200794 , version 1 (16-04-2021)

Identifiants

  • HAL Id : hal-03200794 , version 1

Citer

Jean Goubault-Larrecq. Preuve et vérification pour la sécurité et la sûreté. Encyclopédie de l'informatique et des systèmes d'information, chapitre I.6, pages 683--703. Vuibert, 2006. ⟨hal-03200794⟩
9 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More