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