Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/219667
-
Titel: 
Execution and Monitoring of HOA Automata with HOAX
en
Zitat: 
Di Stefano, L. (2025). Execution and Monitoring of HOA Automata with HOAX. In Runtime Verification : 25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings (pp. 44–53). Springer, Cham. https://doi.org/10.1007/978-3-032-05435-7_3
-
Verlags-DOI: 
10.1007/978-3-032-05435-7_3
-
Publikationstyp: 
Konferenzbeitrag - Full-Paper Contribution
de
Sprache: 
Englisch
-
Autor_innen: 
Di Stefano, Luca 
-
Organisations­einheit: 
E191-01 - Forschungsbereich Cyber-Physical Systems 
-
Erschienen in: 
Runtime Verification : 25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings 
-
ISBN: 
978-3-032-05435-7
-
Band: 
16087
-
Datum (veröffentlicht): 
12-Sep-2025
-
Veranstaltungs­name: 
25th International Conference on Runtime Verification (RV 2025) 
en
Veranstaltungs­zeitraum: 
15-Sep-2025 - 19-Sep-2025
-
Veranstaltungs­ort: 
Graz, Österreich
-
Umfang: 
10
-
Verlag: 
Springer, Cham
-
Peer Reviewed: 
Ja
-
Keywords: 
Runtime Verification; Monitoring; monitorability
en
Forschungs­schwerpunkte: 
Computer Engineering and Software-Intensive Systems: 100%
-
Wissenschafts­zweig: 
1020 - Informatik: 100%
-
Enthalten in den Sammlungen:
Conference Paper

Zur Langanzeige

Seiten Aufrufe

10
aufgerufen am 06.10.2025

Google ScholarTM

Check