DMCA

Form Methods Syst Des (2013) DOI Bayesian Statistical Model Checking with Application to Stateflow/Simulink Verification (2011)

Cached

Download Links

by Paolo Zuliani , André Platzer , Edmund M. Clarke , P. Zuliani