|
Volumn 2, Issue , 2004, Pages 1392-1393
|
Model-based specification and execution of embedded real-time systems
a a |
Author keywords
[No Author keywords available]
|
Indexed keywords
BYTECODES;
STATE TRANSITION DIAGRAMS (STD);
UML VIRTUAL MACHINES (UVM);
UNIFIED MODELING LANGUAGE (UML);
BINARY PROGRAMS;
EMBEDDED REAL TIME SYSTEMS;
EXECUTABLE SPECIFICATIONS;
EXECUTABLE UML;
MODEL-BASED SPECIFICATIONS;
RUNTIME ENVIRONMENTS;
SEQUENCE DIAGRAMS;
UML VIRTUAL MACHINES;
CODES (SYMBOLS);
COMPUTER PROGRAMMING LANGUAGES;
COMPUTER SOFTWARE;
MICROPROCESSOR CHIPS;
OBJECT ORIENTED PROGRAMMING;
REAL TIME SYSTEMS;
VIRTUAL REALITY;
DISEASES;
EXHIBITIONS;
EMBEDDED SYSTEMS;
SPECIFICATIONS;
|
EID: 3042558045
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1109/DATE.2004.1269103 Document Type: Conference Paper |
Times cited : (3)
|
References (4)
|