|
Volumn , Issue , 1997, Pages 230-239
|
Constraint-based approach for specification and verification of real-time systems
|
Author keywords
[No Author keywords available]
|
Indexed keywords
AUTOMATA THEORY;
FORMAL LANGUAGES;
FORMAL LOGIC;
LOGIC PROGRAMMING;
SPECIFICATION;
VERIFICATION;
REAL TIME SYSTEMS;
|
EID: 0031337405
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (51)
|
References (25)
|