|
|
|
Volumn , Issue , 1994, Pages 142-149
|
|
OBDD-representation of statecharts
a
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
BINARY SEQUENCES;
COMPUTATIONAL LINGUISTICS;
COMPUTER HARDWARE DESCRIPTION LANGUAGES;
DECISION TABLES;
DECISION THEORY;
FORMAL LOGIC;
HIERARCHICAL SYSTEMS;
MATHEMATICAL MODELS;
REDUNDANCY;
SYSTEMS ANALYSIS;
ORDERED BINARY DECISION DIAGRAMS;
STATE BASED SPECIFICATION LANGUAGE;
STATECHARTS;
TEMPORAL LOGIC;
STATE ASSIGNMENT;
|
|
EID: 0028101576
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (17)
|
|
References (12)
|
