[Back]


Talks and Poster Presentations (with Proceedings-Entry):

R. Grosu, D. Peled, C. Ramakrishnan, S. Smolka, S. Stoller, J. Yang:
"Using Statistical Model Checking for Measuring Systems";
Talk: 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), Corfu; 2014-10-08 - 2014-10-11; in: "Proc. of ISoLA'14, the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation", (2014).



Electronic version of the publication:
http://ti.tuwien.ac.at/cps/people/grosu/files/isola14.pdf