M. Bouissou (2005):
Automated dependability analysis of complex systems with the KB3 workbench: the experience of EDF R&D.
In: CIEM 2005,
Bucharest.
M. Bouissou & J.-L. Bon (2003):
A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes.
Reliability Engineering and System Safety Vol. 82,
pp. 149–163,
doi:10.1016/S0951-8320(03)00143-1.
M. Bouissou, H. Bouhadana, M. Bannelier & N. Villatte (1991):
Knowledge modelling and reliability processing: presentation of the FIGARO language and associated tools.
In: Safecomp'91,
Trondheim (Norway).
M. Bouissou & J.-C. Houdebine (2002):
Inconsistency detection in KB3 models.
In: ESREL 2002,
Lyon (France).
P.-A. Brameret (2015):
Assessment of reliability indicators from automatically generated partial Markov chains.
LURPA,
École normale supérieure de Cachan.
T. Chaudonneret, T. Moreau & C. Monnier (2016):
L'outil K6 pour les études de sûreté de fonctionnement des réseaux électriques industriels.
Colloque Lambda-mu 2017,
St Malo (France),
doi:10.4267/2042/61804.
eptcs@eptcs.org