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

doi:10.1007/S11219-018-9432-8

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 Fachzeitschrift › Artikel › Begutachtung

Originalsprache	undefiniert/unbekannt
Seiten (von - bis)	757-795
Fachzeitschrift	Softw. Qual. J.
Jahrgang	27
Ausgabenummer	2
DOIs	https://doi.org/10.1007/S11219-018-9432-8
Publikationsstatus	Veröffentlicht - 2019
Extern publiziert	Ja

Zugriff auf Dokument

10.1007/S11219-018-9432-8

https://dblp.org/rec/journals/sqj/AichernigBJKKKM19

Dieses zitieren

@article{463336cfbd2841df84eaf0f4d68a7e38,

title = "Learning and statistical model checking of system response times.",

author = "Aichernig, {Bernhard K.} and Priska Bauerst{\"a}tter and Elisabeth J{\"o}bstl and Severin Kann and Robert Korosec and Willibald Krenn and Cristinel Mateis and Rupert Schlick and Richard Schumi",

note = "DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "2019",

doi = "10.1007/S11219-018-9432-8",

language = "undefiniert/unbekannt",

volume = "27",

pages = "757--795",

number = "2",

}

TY - JOUR

T1 - Learning and statistical model checking of system response times.

AU - Aichernig, Bernhard K.

AU - Bauerstätter, Priska

AU - Jöbstl, Elisabeth

AU - Kann, Severin

AU - Korosec, Robert

AU - Krenn, Willibald

AU - Mateis, Cristinel

AU - Schlick, Rupert

AU - Schumi, Richard

N1 - DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2019

Y1 - 2019

U2 - 10.1007/S11219-018-9432-8

DO - 10.1007/S11219-018-9432-8

M3 - Artikel

VL - 27

SP - 757

EP - 795

JO - Softw. Qual. J.

JF - Softw. Qual. J.

IS - 2

ER -