Modele de verificare formală
|
LDR | 00093nx j2200049 | |
---|---|---|
001 | 106269 | |
250 | $a Modele de verificare formală | |
901 | $a a $b a |
Lucrări:
2 lucrari in 2 publicatii in 1 limbi
2 records Page 1 of 1
- 1
Systems and Software Verification : Model-Checking Techniques and Tools
de:
(Text tipărit)
Abstraction Refinement for Large Scale Model Checking
de:
Wang, Chao; Hachtel, Gary D.; Somenzi, Fabio
(Text tipărit)