[Lecture Notes in Computer Science] Runtime Verification Volume 6418 || Statistical Model Checking: An Overview
Barringer, Howard, Falcone, Ylies, Finkbeiner, Bernd, Havelund, Klaus, Lee, Insup, Pace, Gordon, Roşu, Grigore, Sokolsky, Oleg, Tillmann, NikolaiVolume:
10.1007/97
Year:
2010
Language:
english
DOI:
10.1007/978-3-642-16612-9_11
File:
PDF, 216 KB
english, 2010