Dependability of Safety Critical Systems: Complementarity of Probabilistic and Formal Methods
Bodennec, Christine, Jourdain, Chantal, Mazuet, Christine, Garnier, Robert, Perez, DanielVolume:
31
Langue:
english
Journal:
IFAC Proceedings Volumes
DOI:
10.1016/s1474-6670(17)40662-8
Date:
June, 1998
Fichier:
PDF, 1.20 MB
english, 1998