|
|
Volumn , Issue , 1994, Pages 314-319
|
|
Fitting formal methods into the design cycle
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTER AIDED DESIGN;
COMPUTER AIDED LOGIC DESIGN;
COMPUTER AIDED SOFTWARE ENGINEERING;
COMPUTER SIMULATION;
ERROR CORRECTION;
ERRORS;
FORMAL LANGUAGES;
FORMAL LOGIC;
LOGIC GATES;
MATHEMATICAL MODELS;
FORMAL HARDWARE VERIFICATION;
MATHEMATICAL LOGIC;
COMPUTER HARDWARE DESCRIPTION LANGUAGES;
|
|
EID: 0028554113
PISSN: 0738100X
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/196244.196392 Document Type: Conference Paper |
|
Times cited : (13)
|
|
References (14)
|
