KIT | KIT-Bibliothek | Impressum | Datenschutz
Suche im KITopen-Katalog

Repository KITopen

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)


Postprint §
DOI: 10.5445/IR/1000153442/post
Veröffentlicht am 06.12.2022
Preprint §
DOI: 10.5445/IR/1000153442
Veröffentlicht am 02.12.2022
Originalveröffentlichung
DOI: 10.1109/ISVLSI54635.2022.00081
Scopus
Zitationen: 4
Dimensions
Zitationen: 4
BibTeX (UTF-8) BibTeX (ASCII) EndNote/Refer (.enw) RIS CSL-JSON ISI
Cover der Publikation
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 Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page