|
Volumn , Issue , 2001, Pages 15-25
|
TILCO-X, an extension of TILCO temporal logic
a a |
Author keywords
First order logic; Formal specification language; Real time systems; Temporal interval logic; Temporal operators; Verification and validation
|
Indexed keywords
COMPUTER HARDWARE DESCRIPTION LANGUAGES;
CONSTRAINT THEORY;
FORMAL LANGUAGES;
FORMAL LOGIC;
INVARIANCE;
MATHEMATICAL MODELS;
SEMANTICS;
FIRS ORDER LOGIC;
TEMPORAL CONSTRAINTS;
TEMPORAL INTERVAL LOGIC;
TEMPORAL OPERATORS;
REAL TIME SYSTEMS;
|
EID: 0034860115
PISSN: 27708527
EISSN: 27708535
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (6)
|
References (18)
|