Hähnle, Reiner ; Heydari Tabar, Asmae ; Mazaheri, Arya ; Norouzi, Mohammad ; Steinhöfel, Dominic ; Wolf, Felix
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2020)
Safer Parallelization.
9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020). virtual Conference (20.-30.10.2020)
doi: 10.1007/978-3-030-61470-6_8
Konferenzveröffentlichung, Bibliographie
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2020 |
| Herausgeber: | Margaria, Tiziana ; Steffen, Bernhard |
| Autor(en): | Hähnle, Reiner ; Heydari Tabar, Asmae ; Mazaheri, Arya ; Norouzi, Mohammad ; Steinhöfel, Dominic ; Wolf, Felix |
| Art des Eintrags: | Bibliographie |
| Titel: | Safer Parallelization |
| Sprache: | Englisch |
| Publikationsjahr: | Oktober 2020 |
| Verlag: | Springer |
| Buchtitel: | ISoLA 2020: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles |
| Reihe: | Lecture Notes in Computer Science |
| Band einer Reihe: | 12477 |
| Veranstaltungstitel: | 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020) |
| Veranstaltungsort: | virtual Conference |
| Veranstaltungsdatum: | 20.-30.10.2020 |
| DOI: | 10.1007/978-3-030-61470-6_8 |
| Freie Schlagworte: | LOEWE|SF4.0, LOEWE, SF4.0 |
| Zusätzliche Informationen: | Proceedings Part II |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Parallele Programmierung 20 Fachbereich Informatik > Software Engineering |
| Hinterlegungsdatum: | 22 Jul 2021 07:37 |
| Letzte Änderung: | 18 Apr 2024 13:57 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum