|
|
|
Volumn , Issue , 1995, Pages 122-129
|
|
Formal validation of virtual finite state machines
a
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ALGORITHMS;
BUFFER STORAGE;
CODES (SYMBOLS);
COMPUTATIONAL COMPLEXITY;
COMPUTER AIDED SOFTWARE ENGINEERING;
COMPUTER HARDWARE;
COMPUTER SOFTWARE;
ERROR CORRECTION;
SEQUENTIAL MACHINES;
SOFTWARE ENGINEERING;
SWITCHING SYSTEMS;
FORMAL VALIDATION;
HOLZMANN'S SUPERTRACE ALGORITHM;
VIRTUAL FINITE STATE MACHINE;
FORMAL LANGUAGES;
|
|
EID: 0029235403
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (10)
|
|
References (12)
|
