Publisher: Elsevier

Related content
Volume 71, Number 3, March 2001

< previous issue | all issues | next issue >

Favourites:Add to Favourites

Safety, reliability and security of industrial computer systems
pp. 227-228(2)
Authors: Kanoun, K.; Pasquini, A.

Favourites:Add to Favourites

Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure
pp. 229-247(19)
Authors: Papadopoulos, Y.; Mcdermid, J.; Sasse, R.; Heiner, G.

Favourites:Add to Favourites

Improving the analysis of dependable systems by mapping fault trees into Bayesian networks
pp. 249-260(12)
Authors: Bobbio, A.; Portinale, L.; Minichino, M.; Ciancamerla, E.

Favourites:Add to Favourites

Formal validation of fault-tolerance mechanisms inside GUARDS
pp. 261-270(10)
Authors: Bernardeschi, C.; Fantechi, A.; Gnesi, S.

Favourites:Add to Favourites

A systematic approach to safety case maintenance
pp. 271-284(14)
Authors: Kelly, T.P.; Mcdermid, J.A.

Favourites:Add to Favourites

System and software safety analysis for the ERA control computer
pp. 285-297(13)
Authors: Beerthuizen, P.G.; Kruidhof, W.

Favourites:Add to Favourites

PERTS: an environment for specification and verification of reactive systems
pp. 299-310(12)
Authors: Bhattacharjee, A.K.; Dhodapkar, S.D.; Shyamasundar, R.K.

Share Content

Access Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content
Cookie Policy
X
Cookie Policy
ingentaconnect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more