Accueil > Verimag > Publications

Technical Reports

Paolo Torrini, Paul Caspi, Pascal Raymond
From Fault-Trees to Safety Conditions (2007)

TR-2007-6.pdf

Keywords: Fault trees, safety conditions, formal verification

Abstract:

Contact | Plan du site | Site réalisé avec SPIP 4.4.2 + AHUNTSIC [CC License]

info visites 4455136

UGA

CNRS

INP Grenoble