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 |
| Seitenumfang | 1 |
| Publikationsstatus | Veröffentlicht - 1 Okt. 2022 |
| Peer-Review-Status | Nein |
Publikationsreihe
| Reihe | Lecture Notes in Computer Science |
|---|