< previous issue
next issue >
Safety, reliability and security of industrial computer systems
Kanoun, K.; Pasquini, A.
Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure
Papadopoulos, Y.; Mcdermid, J.; Sasse, R.; Heiner, G.
Improving the analysis of dependable systems by mapping fault trees into Bayesian networks
Bobbio, A.; Portinale, L.; Minichino, M.; Ciancamerla, E.
Formal validation of fault-tolerance mechanisms inside GUARDS
Bernardeschi, C.; Fantechi, A.; Gnesi, S.
A systematic approach to safety case maintenance
Kelly, T.P.; Mcdermid, J.A.
System and software safety analysis for the ERA control computer
Beerthuizen, P.G.; Kruidhof, W.
PERTS: an environment for specification and verification of reactive systems
Bhattacharjee, A.K.; Dhodapkar, S.D.; Shyamasundar, R.K.
A case study in the integration of accident reports and constructivedesign documents
Human communication, mutual awareness and system dependability. Lessons learnt from air-traffic control field studies
Rognin, L.; Blanquart, J.