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),
- 2014-10-11; in: "Proc. of ISoLA'14, the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation",
Electronic version of the publication:
Created from the Publication Database of the Vienna University of Technology.