Learning and statistical model checking of system response times

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

Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

OriginalspracheEnglisch
FachzeitschriftSoftware Quality Journal
Volume27
DOIs
PublikationsstatusVeröffentlicht - 3 Jan. 2019

Research Field

  • Cyber Security
  • Ehemaliges Research Field - Data Science
  • Ehemaliges Research Field - Digital Safety and Security

Schlagwörter

  • Statistical computing
  • Statistical Data Analysis
  • Statistical modelling
  • statistical models
  • model based testing
  • statistical model checking
  • performance analysis
  • stochastic models
  • linear regression
  • Monte Carlo simulation
  • System response times

Diese Publikation zitieren