Configurable-by-construction runtime monitoring

Research output: Contribution to book/conference proceedings/anthology/reportChapter in book/anthology/reportContributed

Contributors

Details

Original languageUndefined
Title of host publicationInternational Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
PublisherSpringer
Number of pages1
Publication statusPublished - 1 Oct 2022
Peer-reviewedNo

Publication series

SeriesLecture Notes in Computer Science

Keywords

DFG Classification of Subject Areas according to Review Boards

    Subject groups, research areas, subject areas according to Destatis