Analyzing partially-implemented real-time systems

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1997, Pages 228-238

  Avrunin, George S ^a   Corbett, James C ^a   Dillon, Laura K ^a  

^a UNIVERSITY OF MASSACHUSETTS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADA (PROGRAMMING LANGUAGE); CONCURRENCY CONTROL; FORMAL LOGIC; COMPUTER SIMULATION; COMPUTER SYSTEMS PROGRAMMING; RESOURCE ALLOCATION;

GRAPHICAL INTERVAL LOGIC (GIL); STATIC ANALYSIS; TEMPORAL LOGIC;

REAL TIME SYSTEMS;

GRAPHICAL INTERVAL LOGIC (GIL); REAL TIME CONCURRENT SYSTEMS; TEMPORAL LOGIC;

EID: 0030615476     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/253228.253275     Document Type: Conference Paper

References (23)