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
9780387341552
Kieli
englanti
Paino
446 grammaa
Julkaisupäivä
20.7.2006
Sivumäärä
179