![]() |
Volumn 2791, Issue , 2004, Pages 60-72
|
TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems
|
Author keywords
[No Author keywords available]
|
Indexed keywords
C (PROGRAMMING LANGUAGE);
CODES (SYMBOLS);
INTERACTIVE COMPUTER SYSTEMS;
MODEL CHECKING;
PROGRAM COMPILERS;
SCHEDULING;
TIME SHARING SYSTEMS;
APPLICATION TASKS;
ARRIVAL PATTERNS;
CODE GENERATION;
DESIGN MODELING;
EXECUTABLE CODES;
RESOURCE CONSTRAINT;
SCHEDULABILITY ANALYSIS;
TIMED AUTOMATA;
REAL TIME SYSTEMS;
|
EID: 34547226561
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/978-3-540-40903-8_6 Document Type: Article |
Times cited : (113)
|
References (11)
|