Specification and analysis of real-time systems in statecharts

Proceedings of the Workshop on Object-Oriented Real-Time Dependable Systems (WORDS)

Volumn , Issue , 1996, Pages 137-143

  Cha, Sung Deok ^a   Hong, Hyoung Seok ^a  

^a Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; FINITE AUTOMATA; NUCLEAR POWER PLANTS; QUALITY ASSURANCE; REACTOR SHUTDOWNS; RELIABILITY; SOFTWARE ENGINEERING;

SAFETY CRITICAL SYSTEMS; STATECHARTS;

COMPUTER SOFTWARE;

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

References (12)