Vemuri, Kiran Kumar Dugan, Joanne Bechta Sulilvan, Kevin J. <br/><br/>
Automatic Synthesis of Fault Trees  for  Computer-Based Systems 

 - 394-402 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Fault Tree Synthesis<br/>Digraphs<br/>Dynamic Fault Tree