A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations
| Titel | A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations |
| Publication Type | Konferenzartikel (erschienen) |
| Year of Publication | 2020 |
| Authors | Jakobs, M-C, Mantel, H |
| Conference Name | Proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA) |
| Pagination | 72-92 |
| Publisher | Springer |
| DOI | 10.1007/978-3-030-61470-6_6 |
Undefined