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. in Springer Fachmedien Wiesbaden GmbH |
| Fecha de publicación | 2016 |
| Idioma | inglés |
| ISBN-13 | 9783658126803 |
| Número de Cutter | H541c |