ZORA MDE Short Presentation 3.2
Mining Correlations of ATL Transformation and Metamodel Metrics
Project Vasari Workshop
Roza Ghamari Bogazici University April 2009. Outline Introduction SystemC Language Formal Verification Techniques for SystemC Design and Verification.
Design and Verification of SystemC Transaction-Level Models