%2014
@INPROCEEDINGS {BBJKNN14,
author = {Dimitri Bohlender and Harold Bruintjes and Sebastian Junges and Jens Katelaan and Viet Yen Nguyen and Thomas Noll},
title = {A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part {II}},
pages = {177--192},
publisher = {IEEE},
publishedas = {Druck Online},
isbn = {978-3-662-45231-8},
language = {eng},
year = {2014},
timestamp = {Mon, 29 Sep 2014 11:09:02 +0200},
i11key = {conference},
for_reporting_period = {2014}
}
Diese Website verwendet Cookies. Durch die Nutzung der Website stimmen Sie dem Speichern von Cookies auf Ihrem Computer zu. Wenn Sie nicht einverstanden sind, verlassen Sie bitte die Website.Weitere Information