Configurable-by-construction runtime monitoring

Research output: Contribution to book/conference proceedings/anthology/report › Chapter in book/anthology/report › Contributed

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