Probabilistic Black-Box Reachability Checking

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelRuntime Verification, 17th International Conference
Herausgeber (Verlag)Springer International Publishing AG
Seiten50-67
Seitenumfang18
ISBN (elektronisch)978-3-319-67531-2
ISBN (Print)978-3-319-67530-5
DOIs
PublikationsstatusVeröffentlicht - Sep 2017
VeranstaltungRuntime Verification, 17th International Conference - Seattle, USA / Vereinigte Staaten
Dauer: 13 Sep 201716 Sep 2017
http://rv2017.cs.manchester.ac.uk/

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer International Publishing AG
Band10548
ISSN (Print)0302-9743
ISSN (elektronisch)1611-3349

Konferenz

KonferenzRuntime Verification, 17th International Conference
KurztitelRV17
LandUSA / Vereinigte Staaten
OrtSeattle
Zeitraum13/09/1716/09/17
Internetadresse

Fields of Expertise

  • Information, Communication & Computing

Dieses zitieren