Configurable-by-construction runtime monitoring
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Buch/Sammelband/Gutachten › Beigetragen
Beitragende
Details
Originalsprache | Undefiniert |
---|---|
Titel | International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) |
Herausgeber (Verlag) | Springer, Berlin [u. a.] |
Seitenumfang | 1 |
Publikationsstatus | Veröffentlicht - 1 Okt. 2022 |
Peer-Review-Status | Nein |
Publikationsreihe
Reihe | Lecture Notes in Computer Science, Volume 13701 |
---|---|
ISSN | 0302-9743 |
Externe IDs
Scopus | 85142723385 |
---|