Automatic Fault Tree Derivation from Little-JIL Process Definitions-Reference-Cited by-同舟云学术

Automatic Fault Tree Derivation from Little-JIL Process Definitions

Published:2006 Issue: Volume: Page:150-158
ISSN:0302-9743
Container-title:Software Process Change
language:
Short-container-title:

Author:

Chen Bin,Avrunin George S.,Clarke Lori A.,Osterweil Leon J.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11754305_17

Reference11 articles.

1. Lecture Notes in Computer Science;L.A. Clarke,2006

2. Leveson, N.G.: Safeware: System Safety and Computers. Addison-Wesley, Reading (1995)

3. Vesely, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault-Tree Handbook, Reg. 0492. US Nuclear Regulatory Comm., Washington (1981)

4. Vesely, W.E., et al.: Fault Tree Handbook with Aerospace Applications. NASA (2002)

5. Wise, A.: Little-JIL 1.0 Language Report. Technical report (UM-CS-1998-024), Department of Computer Science, University of Massachusetts, Amherst, MA (1998)

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

1. A Method for Backward Failure Propagation in Conceptual System Design;Nuclear Science and Engineering;2023-06-12

2. POP-PL;ACM Transactions on Programming Languages and Systems;2018-08-29

3. Run-Time Fault Detection Using Automatically Generated Fault Tree Based on UML;Convergence and Hybrid Information Technology;2012

4. Red Blood Cell Transfusion Safety: Probabilistic Risk Assessment and Cost/ Benefits of Risk Reduction Strategies;Annals of Operations Research;2011-07-12

5. Fault tree synthesis from UML models for reliability analysis at early design stages;ACM SIGSOFT Software Engineering Notes;2011-01-24