Schedule validation for embedded reactive real-time systems

Proceedings - Design Automation Conference

Volumn , Issue , 1997, Pages 52-57

  Balarin, Felice ^a   Sangiovanni Vincentelli, Alberto ^a  

^a CADENCE DESIGN SYSTEMS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; NUMERICAL ANALYSIS; SYSTEMS ANALYSIS;

EMBEDDED SYSTEMS; FORMAL MODEL; REACTIVE REAL TIME SYSTEMS; SCHEDULE VALIDATION;

REAL TIME SYSTEMS;

EID: 0030651276     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/266021.266034     Document Type: Conference Paper

References (7)