Rigorous development of a safety-critical system based on coordinated atomic actions

Proceedings - Annual International Conference on Fault-Tolerant Computing

Volumn , Issue , 1999, Pages 68-75

  Xu, J ^a   Randell, B ^a   Romanovsky, A ^a   Stroud, R J ^a   Zorzo, A F ^a   Canver, E ^a   von Henke, F ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENCY CONTROL; CONTROL SYSTEM SYNTHESIS; FAULT TOLERANT COMPUTER SYSTEMS; INDUSTRIAL APPLICATIONS; OBJECT ORIENTED PROGRAMMING; PROGRAM DEBUGGING; RELIABILITY;

COORDINATED ATOMIC ACTIONS; FAULT TOLERANT CONTROL SYSTEM; MODEL CHECKING; SAFETY CRITICAL SYSTEM;

COMPUTER SOFTWARE;

EID: 0032597697     PISSN: 07313071     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (13)