Publikationen

Scalable offline monitoring

AutorBasin, David; Caronni, Germano; Ereth, Sarah; Harvan, Matus; Klaedtke, Felix; Mantel, Heiko
Datum2014
ArtConference Proceedings
Konferenz5th International Conference, RV 2014
ISBN978-3-319-11163-6 ; 978-3-319-11164-3
SerieLecture notes in computer science
InRuntime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, p.31-47
PublisherSpringer
Urlhttps://tubiblio.ulb.tu-darmstadt.de/id/eprint/103739

Cyber­security-Konferenzen

zur Übersicht

Aus- und Weiterbildung

Informieren Sie sich über die Aus- und Weiter­bildungs­angebote der in ATHENE mitwirkenden Institutionen

Mehr INFO