The paper "A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations" by Marie-Christine Jakobs and Heiko Mantel has  been accepted for publication at ISOLA 2020 (The International Symposium On Leveraging Applications of Formal Methods, Verification and Validation).
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang