|
|
|
Volumn , Issue , 1995, Pages 66-75
|
|
Two examples of verification of multirate timed automata with Kronos
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ALGORITHMS;
CLOCKS;
CODES (SYMBOLS);
COMPUTATIONAL LINGUISTICS;
COMPUTER HARDWARE DESCRIPTION LANGUAGES;
FORMAL LANGUAGES;
HYBRID COMPUTERS;
MATHEMATICAL TRANSFORMATIONS;
NETWORK PROTOCOLS;
REAL TIME SYSTEMS;
STATE SPACE METHODS;
HYBRID SYSTEMS;
KRONOS SYSTEM;
MULTIRATE TIMED AUTOMATA;
SYMBOLIC TECHNIQUES;
TIMED COMPUTATION TREE LOGIC;
AUTOMATA THEORY;
|
|
EID: 0029488677
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (82)
|
|
References (10)
|
