Runtime verification 23rd international conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023 : proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: RV (VerfasserIn)
Weitere Verfasser: Katsaros, Panagiotis (HerausgeberIn), Nenzi, Laura (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2023
Schriftenreihe:Lecture notes in computer science 14245
Schlagworte:
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Literaturangaben
Beschreibung:xi, 490 Seiten
Illustrationen, Diagramme
ISBN:9783031442667
978-3-031-44266-7
3031442660
3-031-44266-0