|
[BDD+11]
Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad and Nihal Pekergin.
COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic.
In Proc. 8th International Conference on Quantitative Evaluation of SysTems (QEST'11), pages 143-144, IEEE CS Press.
September 2011.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|