![](/img/cover-not-exists.png)
[ACM Press the 13th ACM international conference - Stockholm, Sweden (2010.04.12-2010.04.15)] Proceedings of the 13th ACM international conference on Hybrid systems: computation and control - HSCC '10 - Bayesian statistical model checking with application to Simulink/Stateflow verification
Zuliani, Paolo, Platzer, André, Clarke, Edmund M.Year:
2010
Language:
english
DOI:
10.1145/1755952.1755987
File:
PDF, 526 KB
english, 2010