Learning and statistical model checking of system response times

Bernhard Aichernig, Priska Bauerstätter, Elisabeth Jöbstl, Severin Kann, Robert Korosec, Willibald Krenn, Cristinel Mateis, Rupert Schlick, Richard Alexander Schumi

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)757-795
JournalSoftware Quality Journal
Volume27
Issue number2
DOIs
Publication statusPublished - 2019

Cite this