[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Verification Volume 11245 (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II) || Statistical Model Checking of Incomplete Stochastic Systems
Margaria, Tiziana, Steffen, BernhardVolume:
10.1007/97
Year:
2018
Language:
english
DOI:
10.1007/978-3-030-03421-4_23
File:
PDF, 917 KB
english, 2018