Safecharts for specifying and designing safety critical systems

Proceedings of the IEEE Symposium on Reliable Distributed Systems

Volumn , Issue , 1999, Pages 78-87

  Dammag, Hamdan ^a   Nissanke, Nimal ^a  

^a UNIVERSITY OF READING   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; RAILROAD SIGNAL SYSTEMS; RESPONSE TIME (COMPUTER SYSTEMS); RISK ASSESSMENT;

SAFECHARTS; SAFETY CRITICAL SYSTEMS;

DISTRIBUTED COMPUTER SYSTEMS;

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

References (16)