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 journal › Article › peer-review

1 results

Finished
TRUCONF - Trust via cost function driven model based test case generation for non-functional properties of systems of systems
Aichernig, B.
1/11/14 → 31/10/17
Project: Research project