TU Darmstadt / ULB / TUbiblio

A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations

Jakobs, Marie-Christine and Mantel, Heiko Margaria, Tiziana and Steffen, Bernhard (eds.) (2020):
A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations.
pp. 72-92, Springer, 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020), virtual Conference, 20.-30.10., ISBN 978-3-030-61469-0,
DOI: 10.1007/978-3-030-61470-6_6,
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2020
Editors: Margaria, Tiziana and Steffen, Bernhard
Creators: Jakobs, Marie-Christine and Mantel, Heiko
Title: A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations
Language: English
Publisher: Springer
ISBN: 978-3-030-61469-0
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
20 Department of Computer Science > Semantics and Verification of Concurrent Programs
Event Title: 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020)
Event Location: virtual Conference
Event Dates: 20.-30.10.
Date Deposited: 03 Nov 2020 14:36
DOI: 10.1007/978-3-030-61470-6_6
Additional Information:

Part of the Lecture Notes in Computer Science book series (LNCS, volume 12477); Proceedings Leveraging Applicationsof Formal Methods,Verification and ValidationEngineering Principles, Part II

Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details