Jakobs, Marie-Christine ; Mantel, Heiko
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2020)
A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations.
9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020). virtual Conference (20.10.2020-30.10.2020)
doi: 10.1007/978-3-030-61470-6_6
Konferenzveröffentlichung, Bibliographie
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2020 |
| Herausgeber: | Margaria, Tiziana ; Steffen, Bernhard |
| Autor(en): | Jakobs, Marie-Christine ; Mantel, Heiko |
| Art des Eintrags: | Bibliographie |
| Titel: | A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations |
| Sprache: | Englisch |
| Publikationsjahr: | 27 Oktober 2020 |
| Verlag: | Springer |
| Veranstaltungstitel: | 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020) |
| Veranstaltungsort: | virtual Conference |
| Veranstaltungsdatum: | 20.10.2020-30.10.2020 |
| DOI: | 10.1007/978-3-030-61470-6_6 |
| Zusätzliche Informationen: | Part of the Lecture Notes in Computer Science book series (LNCS, volume 12477); Proceedings Leveraging Applicationsof Formal Methods,Verification and ValidationEngineering Principles, Part II |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Modellierung und Analyse von Informationssystemen (MAIS) 20 Fachbereich Informatik > Semantik und Verifikation paralleler Systeme |
| Hinterlegungsdatum: | 03 Nov 2020 14:36 |
| Letzte Änderung: | 03 Nov 2020 14:36 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum