![]() |
Volumn 113, Issue SPEC. ISS., 2005, Pages 3-21
|
Semantics and Runtime Monitoring of TLCharts: Statechart Automata with Temporal Logic Conditioned Transitions
|
Author keywords
Finite automata; Formal specification; Harel Statecharts; Semantics; Temporal logic
|
Indexed keywords
FORMAL SPECIFICATION;
HAREL STATECHARTS;
LINEAR-TIME TEMPORAL LOGIC (LTL);
RUN TIME;
TEMPORAL LOGIC;
COMPUTER SCIENCE;
COMPUTER SOFTWARE;
FINITE AUTOMATA;
FORMAL LANGUAGES;
HIERARCHICAL SYSTEMS;
LARGE SCALE SYSTEMS;
SEMANTICS;
|
EID: 11344256570
PISSN: 15710661
EISSN: None
Source Type: Journal
DOI: 10.1016/j.entcs.2004.01.025 Document Type: Conference Paper |
Times cited : (14)
|
References (21)
|