Treffer: Runtime Verification

Titel:

Runtime Verification : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings / edited by Thao Dang, Volker Stolz

Beteiligt:

Dang, Thao (Herausgeber); Stolz, Volker (Herausgeber)

Ausgabe:

1st ed. 2022

Veröffentlicht:

Cham : Springer International Publishing, 2022

Vertrieb:

Cham : Springer International Publishing AG

Umfang:

1 Online-Ressource (XII, 347 Seiten) : 128 illus., 79 illus. in color.

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Lecture Notes in Computer Science, ISSN 1611-3349 ; 13498

Andere Ausgaben:

Erscheint auch als Druck-Ausgabe: Runtime Verification. - Cham : Springer International Publishing, 2022. - ISBN 9783031171956

ISBN:

9783031171963 ; 3031171969 ; 978--303117195-6 (Sekundärausgabe) ; 978--303117197-0 (Sekundärausgabe)

DOI:

10.1007/978-3-031-17196-3

Treffer: Runtime Verification

Zusatz-Informationen

Zusatz-Funktionen