Pinapa
From MaRDI portal
Software:21934
No author found.
Related Items (4)
Unnamed Item ⋮ Boosting Lazy Abstraction for SystemC with Partial Order Reduction ⋮ A Framework for Verification of Software with Time and Probabilities ⋮ Full simulation coverage for SystemC transaction-level models of systems-on-a-chip
This page was built for software: Pinapa
