Skip to Main content Skip to Navigation
Book sections

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

Document type :
Book sections
Complete list of metadata

https://hal.inria.fr/hal-03200794
Contributor : Jean Goubault-Larrecq <>
Submitted on : Friday, April 16, 2021 - 6:50:44 PM
Last modification on : Saturday, May 1, 2021 - 3:39:43 AM

Identifiers

  • HAL Id : hal-03200794, version 1

Citation

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⟩

Share

Metrics

Record views

6