Hähnle, Reiner ; Heydari Tabar, Asmae ; Mazaheri, Arya ; Norouzi, Mohammad ; Steinhöfel, Dominic ; Wolf, Felix
eds.: 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
Conference or Workshop Item, Bibliographie
| Item Type: | Conference or Workshop Item |
|---|---|
| Erschienen: | 2020 |
| Editors: | Margaria, Tiziana ; Steffen, Bernhard |
| Creators: | Hähnle, Reiner ; Heydari Tabar, Asmae ; Mazaheri, Arya ; Norouzi, Mohammad ; Steinhöfel, Dominic ; Wolf, Felix |
| Type of entry: | Bibliographie |
| Title: | Safer Parallelization |
| Language: | English |
| Date: | October 2020 |
| Publisher: | Springer |
| Book Title: | ISoLA 2020: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles |
| Series: | Lecture Notes in Computer Science |
| Series Volume: | 12477 |
| Event Title: | 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020) |
| Event Location: | virtual Conference |
| Event Dates: | 20.-30.10.2020 |
| DOI: | 10.1007/978-3-030-61470-6_8 |
| Uncontrolled Keywords: | LOEWE|SF4.0, LOEWE, SF4.0 |
| Additional Information: | Proceedings Part II |
| Divisions: | 20 Department of Computer Science 20 Department of Computer Science > Parallel Programming 20 Department of Computer Science > Software Engineering |
| Date Deposited: | 22 Jul 2021 07:37 |
| Last Modified: | 18 Apr 2024 13:57 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum