|
|
|
Volumn , Issue , 1998, Pages 328-329
|
|
What's between simulation and formal verification?
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ALGORITHMS;
COMPUTER SIMULATION;
AUTOMATION;
DESIGN;
FORMAL VERIFICATION;
EMBEDDED SYSTEMS;
FORMAL VERIFICATION;
FUNCTIONAL TEST;
LARGE DESIGNS;
TUTORIAL SURVEYS;
VERIFICATION TECHNIQUES;
|
|
EID: 0031630130
PISSN: 0738100X
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (37)
|
|
References (0)
|
