|
Volumn , Issue , 2011, Pages 141-148
|
Logical time and temporal logics: Comparing UML MARTE/CCSL and PSL
|
Author keywords
Automaton based approach; High level design; Language equivalence; Linear temporal logic
|
Indexed keywords
ANALYSIS METHOD;
AUTOMATON BASED APPROACH;
CLOCK CONSTRAINTS;
ELECTRONIC DESIGN AUTOMATION;
ELECTRONIC SYSTEMS;
FORMAL NOTATIONS;
FORMAL VERIFICATIONS;
HIGH-LEVEL DESIGN;
INTERMEDIATE REPRESENTATIONS;
LANGUAGE EQUIVALENCE;
LINEAR TEMPORAL LOGIC;
MODELING AND ANALYSIS;
PROPERTY SPECIFICATION LANGUAGE;
REAL-TIME AND EMBEDDED SYSTEMS;
TEMPORAL LOGIC PROPERTIES;
UML PROFILES;
AUTOMATA THEORY;
COMPUTER AIDED DESIGN;
ELECTRONICS ENGINEERING;
EMBEDDED SYSTEMS;
EQUIVALENCE CLASSES;
FORMAL METHODS;
HIGH LEVEL LANGUAGES;
REAL TIME SYSTEMS;
SPECIFICATION LANGUAGES;
SPECIFICATIONS;
TEMPORAL LOGIC;
|
EID: 81455142905
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1109/TIME.2011.10 Document Type: Conference Paper |
Times cited : (31)
|
References (12)
|