Safety by Construction: Pattern-Based Application of Safety Mechanisms in XANDAR
Dörr, Tobias
1; Schade, Florian 1; Masing, Leonard 1; Becker, Jürgen 1; Keramidas, Georgios; Antonopoulos, Christos P.; Mavropoulos, Michail; Kelefouras, Vasilios; Voros, Nikolaos
1 Institut für Technik der Informationsverarbeitung (ITIV), Karlsruher Institut für Technologie (KIT)
1; Schade, Florian 1; Masing, Leonard 1; Becker, Jürgen 1; Keramidas, Georgios; Antonopoulos, Christos P.; Mavropoulos, Michail; Kelefouras, Vasilios; Voros, Nikolaos1 Institut für Technik der Informationsverarbeitung (ITIV), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Technik der Informationsverarbeitung (ITIV) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsdatum | 18.10.2022 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-6654-6606-6 KITopen-ID: 1000153442 |
| Erschienen in | 2022 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), Nicosia, Cyprus, 04-06 July 2022 |
| Veranstaltung | IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2022), Nikosia, Zypern, 04.07.2022 – 06.07.2022 |
| Verlag | Institute of Electrical and Electronics Engineers (IEEE) |
| Seiten | 369-370 |
| Nachgewiesen in | Scopus Dimensions |