Formal semantics of models for computational engineering: A case study on dynamic fault trees

Proceedings of the International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2000, Pages 270-282

  Coppit, David ^a   Sullivan, Kevin J ^a   Dugan, Joanne Bechta ^a  

^a UNIVERSITY OF VIRGINIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; LINGUISTICS; NATURAL SCIENCES COMPUTING; SOFTWARE ENGINEERING;

COMPUTATIONAL MODELING; DYNAMIC FAULT TREES;

COMPUTER AIDED ENGINEERING;

EID: 0034542615     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)