Formal hazard analysis of hybrid systems in cTLA

Proceedings of the IEEE Symposium on Reliable Distributed Systems

Volumn , Issue , 1999, Pages 68-77

  Herrmann, Peter ^a   Krumm, Heiko ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; CHEMICAL PLANTS; COMPUTER CONTROL SYSTEMS; MATHEMATICAL MODELS; RISK ASSESSMENT;

FORMAL HAZARD ANALYSIS; SAFETY CRITICAL DISTRIBUTED SYSTEMS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0033328641     PISSN: 10609857     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)