Steering of real-time systems based on monitoring and checking

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

Volumn , Issue , 2000, Pages 11-18

  Sokolsky, Oleg ^a   Kannan, Sampath ^a   Kim, Moonjoo ^a   Lee, Insup ^a   Viswanathan, Mahesh ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ERROR DETECTION; FAULT TOLERANT COMPUTER SYSTEMS; JAVA PROGRAMMING LANGUAGE; NETWORK PROTOCOLS; RESPONSE TIME (COMPUTER SYSTEMS); SOFTWARE PROTOTYPING; SYSTEMS ANALYSIS;

MONITORING AND CHECKING; ONLINE CORRECTION;

COMPUTER SYSTEMS;

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

References (7)