Treffer: Runtime Verification
Titel:
Runtime Verification : 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings / edited by Erika Ábrahám, Houssam Abbas
Verantwortlich:
Ausgabe:
1st ed. 2025
Veröffentlicht:
Cham : Springer Nature Switzerland, 2025
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XVI, 304 Seiten) : 108 illus., 73 illus. in color.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture Notes in Computer Science, ISSN 1611-3349 ; 15191
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Runtime Verification. - Cham : Springer Nature Switzerland, 2025. - ISBN 9783031742330
RVK-Notation:
ISBN:
9783031742347 ; 3031742346 ; 978--303174233-0 (Sekundärausgabe) ; 978--303174235-4 (Sekundärausgabe)
DOI:
10.1007/978-3-031-74234-7