Validation d’un système sécurité

Cet article de l’INRS présente la mise en oeuvre d’une méthode de validation d’un système utilisant un automate de sécurité.

Cliquez pour télécharger l’article

Vous pouvez aussi retrouver ce document sur le site INRS à l’adresse suivante :

http://www.hst.fr/inrs-pub/inrs01.nsf/0/835f824e6d95b068c125709d0049e2b1/$FILE/ns252.pdf