Laurence Pierre, Luca Ferro. Dynamic Verification of SystemC Transactional Models. In Justyna Zander, Ina Schieferdecker, Pieter J. Mosterman, editors, Model-Based Testing for Embedded Systems. Computational Analysis, Synthesis, & Design Dynamic Systems, CRC Press, 2011. [doi]
@incollection{PierreF11,
title = {Dynamic Verification of SystemC Transactional Models},
author = {Laurence Pierre and Luca Ferro},
year = {2011},
doi = {10.1201/b11321-23},
url = {https://doi.org/10.1201/b11321-23},
researchr = {https://researchr.org/publication/PierreF11},
cites = {0},
citedby = {0},
booktitle = {Model-Based Testing for Embedded Systems},
editor = {Justyna Zander and Ina Schieferdecker and Pieter J. Mosterman},
series = {Computational Analysis, Synthesis, & Design Dynamic Systems},
publisher = {CRC Press},
isbn = {978-1-4398-1845-9},
}