Gå direkt till innehållet
Abstraction Refinement for Large Scale Model Checking
Spara

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.
Upplaga
2006 ed.
ISBN
9780387341552
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
2006-07-20
Sidor
179