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, Berlin [u. a.]
Number of pages1
Publication statusPublished - 1 Oct 2022
Peer-reviewedNo

Publication series

SeriesLecture Notes in Computer Science, Volume 13701
ISSN0302-9743

External IDs

Scopus 85142723385

Keywords

Library keywords