Configurable-by-construction runtime monitoring

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in Buch/Sammelband/GutachtenBeigetragen

Beitragende

Details

OriginalspracheUndefiniert
TitelInternational Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
Herausgeber (Verlag)Springer, Berlin [u. a.]
Seitenumfang1
PublikationsstatusVeröffentlicht - 1 Okt. 2022
Peer-Review-StatusNein

Publikationsreihe

ReiheLecture Notes in Computer Science, Volume 13701
ISSN0302-9743

Externe IDs

Scopus 85142723385

Schlagworte

Bibliotheksschlagworte