Validating Safety Models with Fault Trees-Reference-Cited by-同舟云学术

Validating Safety Models with Fault Trees

Published:1993 Issue: Volume: Page:21-30
ISSN:
Container-title:SAFECOMP ’93
language:
Short-container-title:

Author:

Bruns Glenn,Anderson Stuart

Publisher

Springer London

Link

http://link.springer.com/content/pdf/10.1007/978-1-4471-2061-2_3

Reference6 articles.

1. R.E. Bloomfield, J.H. Cheng, and J. Gorski. Towards a common safety description model. In J.F. Lindeberg, editor, SAFECOMP ’91, 1991.

2. J.C. Bradfield. A proof assistand for symbolic model checking. In Proceedings of CAV ’92, 1992.

3. Rance Cleaveland, Joachim Parrow, and Bernhard Steffen. The concurrency workbench: A semantics based tool for the verification of concurrent systems. Technical Report ECS-LFCS-89-83, Laboratory for Foundations of Computer Science, University of Edinburgh, 1989.

4. D. Kozen. Results on the propositional mu-calculus. Theoretical Computer Science, 27:333–354, 1983.

5. N.H. Roberts, W.E. Vesely, D.F. Haasl, and F.F. Goldberg. Fault Tree Handbook. U.S. Nuclear Regulatory Commission, 1981.

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Extending Causal Models from Machines into Humans;Electronic Proceedings in Theoretical Computer Science;2019-10-31

2. Safety Assessment with SMS Approach for Software-Intensive Critical Systems;Learning and Analytics in Intelligent Systems;2019-07-13

3. Practical Causal Models for Cyber-Physical Systems;Lecture Notes in Computer Science;2019

4. A safety-focused verification using software fault trees;Future Generation Computer Systems;2012-10

5. The ForMoSA Approach to Qualitative and Quantitative Model-Based Safety Analysis;Railway Safety, Reliability, and Security;2012