Formal analysis for real-time scheduling

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn 1, Issue , 2000, Pages

  Dutertre, Bruno ^a   Stavridou, Victoria ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; COMPUTER OPERATING SYSTEMS; MATHEMATICAL MODELS; NETWORK PROTOCOLS; REAL TIME SYSTEMS; RESPONSE TIME (COMPUTER SYSTEMS); SYNCHRONIZATION;

FAULT-TOLERANT RATE-MONOTONIC SCHEDULING; REAL TIME OPERATING SYSTEMS (RTOS);

AVIONICS;

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

References (13)