Combining Proof and Model-checking to Validate Reconfigurable Architectures
| Autor: | Lanoix, Arnaud, Dormoy, Julien, Kouchnarenko, Olga |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 12 December 2011 279(2):43-57 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect