Complete Symbolic Simulation of SystemC Models
Efficient Formal Verification of Finite Non-Terminating Programs
Edición de la obra Complete Symbolic Simulation of SystemC Models
| Autor | Vladimir Herdt |
|---|---|
| Editorial | Springer Vieweg |
| Fecha de publicación | Mar 17, 2016 |
| Páginas | 184 |
| Formato | paperback |
| ISBN-13 | 9783658126797 |
| ISBN-10 | 3658126795 |
| Número de Cutter | H541c |