Probabilistic Black-Box Reachability Checking

Bernhard Aichernig; Martin Tappler

doi:10.1007/978-3-319-67531-2_4

Probabilistic Black-Box Reachability Checking

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Runtime Verification, 17th International Conference
Herausgeber (Verlag)	Springer International Publishing AG
Seiten	50-67
Seitenumfang	18
ISBN (elektronisch)	978-3-319-67531-2
ISBN (Print)	978-3-319-67530-5
DOIs	https://doi.org/10.1007/978-3-319-67531-2_4
Publikationsstatus	Veröffentlicht - Sept. 2017
Veranstaltung	Runtime Verification, 17th International Conference - Seattle, USA / Vereinigte Staaten Dauer: 13 Sept. 2017 → 16 Sept. 2017 http://rv2017.cs.manchester.ac.uk/

Publikationsreihe

Name	Lecture Notes in Computer Science
Herausgeber (Verlag)	Springer International Publishing AG
Band	10548
ISSN (Print)	0302-9743
ISSN (elektronisch)	1611-3349

Konferenz

Konferenz	Runtime Verification, 17th International Conference
Kurztitel	RV17
Land/Gebiet	USA / Vereinigte Staaten
Ort	Seattle
Zeitraum	13/09/17 → 16/09/17
Internetadresse	http://rv2017.cs.manchester.ac.uk/

Fields of Expertise

Information, Communication & Computing

Zugriff auf Dokument

10.1007/978-3-319-67531-2_4

Verlaesslichkeit im Internet der Dinge
Boano, C. A., Kubin, G., Bloem, R., Horn, M., Pernkopf, F., Zakany, N., Mangard, S., Witrisal, K., Römer, K. U., Aichernig, B., Bösch, W., Baunach, M. C., Tappler, M., Malenko, M., Weiser, S., Eichlseder, M., Leitinger, E., Grosinger, J., Großwindhager, B., Ebrahimi, M., Alothman Alterkawi, A. B., Knoll, C., Teschl, R., Saukh, O., Rath, M., Steinberger, M., Steinbauer-Wagner, G. & Tranninger, M.
1/01/16 → 31/03/22
Projekt: Forschungsprojekt

Dieses zitieren

Aichernig, B & Tappler, M 2017, Probabilistic Black-Box Reachability Checking. in Runtime Verification, 17th International Conference. Lecture Notes in Computer Science, Bd. 10548, Springer International Publishing AG , S. 50-67, Runtime Verification, 17th International Conference, Seattle, Washington, USA / Vereinigte Staaten, 13/09/17. https://doi.org/10.1007/978-3-319-67531-2_4

@inproceedings{dbb56d3e7bc847d09eb50ea3191d2e95,

title = "Probabilistic Black-Box Reachability Checking",

author = "Bernhard Aichernig and Martin Tappler",

year = "2017",

month = sep,

doi = "10.1007/978-3-319-67531-2_4",

language = "English",

isbn = "978-3-319-67530-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer International Publishing AG ",

pages = "50--67",

booktitle = "Runtime Verification, 17th International Conference",

address = "Switzerland",

note = "Runtime Verification, 17th International Conference, RV17 ; Conference date: 13-09-2017 Through 16-09-2017",

url = "http://rv2017.cs.manchester.ac.uk/",

}

TY - GEN

T1 - Probabilistic Black-Box Reachability Checking

AU - Aichernig, Bernhard

AU - Tappler, Martin

PY - 2017/9

Y1 - 2017/9

U2 - 10.1007/978-3-319-67531-2_4

DO - 10.1007/978-3-319-67531-2_4

M3 - Conference paper

SN - 978-3-319-67530-5

T3 - Lecture Notes in Computer Science

SP - 50

EP - 67

BT - Runtime Verification, 17th International Conference

PB - Springer International Publishing AG

T2 - Runtime Verification, 17th International Conference

Y2 - 13 September 2017 through 16 September 2017

ER -

Probabilistic Black-Box Reachability Checking

Publikationsreihe

Konferenz

Fields of Expertise

Zugriff auf Dokument

Projekte

Verlaesslichkeit im Internet der Dinge

Dieses zitieren