![](/img/cover-not-exists.png)
Bayesian statistical model checking with application to Stateflow/Simulink verification
Zuliani, Paolo, Platzer, André, Clarke, Edmund M.Volume:
43
Language:
english
Journal:
Formal Methods in System Design
DOI:
10.1007/s10703-013-0195-3
Date:
October, 2013
File:
PDF, 985 KB
english, 2013