Dynamic Verification of SystemC Transactional Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Laurence Pierre' in GoogleThis author has not been identified. Look up 'Luca Ferro' in Google

runs on WebDSL