Reconfigurable system design and verification
Saved in:
Main Author: | Hsiung, Pao-Ann |
---|---|
Other Authors: | Santambrogio, Marco D. Marco Domenico, Huang, Chun-Hsian |
Format: | Unknown |
Published: |
Boca Raton
CRC Press
2009
|
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Functional verification of programmable embedded architectures a top-down approach
by: Mishra, Prabhat 1973-
Published: (2005) -
Systems and software verification model-checking techniques and tools
Published: (2001) -
Program verification
by: Francez, Nissim
Published: (1992) -
Model checking
by: Clarke, E. M. 1945-
Published: (1999) -
Program verification fundamental issues in computer science
Published: (1993)