Modele de verificare formală

Subiect Tematic:	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

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)

Subiecte