![]() |
Volumn 21, Issue 1, 2002, Pages 5-38
|
Modular and visual specification of hybrid systems: An introduction to HyCharts
|
Author keywords
Formal specification; Hybrid systems; Statecharts
|
Indexed keywords
COMPUTATIONAL METHODS;
HIERARCHICAL SYSTEMS;
MATHEMATICAL MODELS;
SEMANTICS;
HYBRID SYSTEMS;
HYCHARTS;
STATECHARTS;
VISUAL SPECIFICATION;
SYSTEMS ANALYSIS;
|
EID: 0036645951
PISSN: 09259856
EISSN: None
Source Type: Journal
DOI: 10.1023/A:1016001318739 Document Type: Article |
Times cited : (5)
|
References (29)
|