Siirry suoraan sisältöön
Abstraction Refinement for Large Scale Model Checking
Tallenna

Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system.
Painos
2006 ed.
ISBN
9781489993953
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
6.12.2014
Sivumäärä
179