Practical technique for bounding the time between events in concurrent real-time systems

Proceedings of the 1993 International Symposium on Software Testing and Analysis (ISSTA)

Volumn , Issue , 1993, Pages 110-116

  Corbett, James C ^a   Avrunin, George S ^a  

^a UNIVERSITY OF HAWAII   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMPUTER SOFTWARE; PARALLEL PROCESSING SYSTEMS; PERFORMANCE; STATE SPACE METHODS;

BOUNDS; CONCURRENT SYSTEMS; ELAPSED TIME; EVENTS; PROCESSORS; REACHABILITY ANALYSIS; SYNCHRONOUS COMMUNICATION;

REAL TIME SYSTEMS;

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

References (7)