Work

Diagnostic Coverage Estimation for Automotive SoCs Based on Colored Stochastic Petri Nets