Tobias Dörr, Florian Schade, Leonard Masing, Jürgen Becker 0001, Georgios Keramidas, Christos P. Antonopoulos, Michail Mavropoulos, Vasilios I. Kelefouras, Nikolaos S. Voros. Safety by Construction: Pattern-Based Application of Safety Mechanisms in XANDAR. In IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2022, Nicosia, Cyprus, July 4-6, 2022. pages 369-370, IEEE, 2022. [doi]
@inproceedings{DorrSMBKAMKV22,
title = {Safety by Construction: Pattern-Based Application of Safety Mechanisms in XANDAR},
author = {Tobias Dörr and Florian Schade and Leonard Masing and Jürgen Becker 0001 and Georgios Keramidas and Christos P. Antonopoulos and Michail Mavropoulos and Vasilios I. Kelefouras and Nikolaos S. Voros},
year = {2022},
doi = {10.1109/ISVLSI54635.2022.00081},
url = {https://doi.org/10.1109/ISVLSI54635.2022.00081},
researchr = {https://researchr.org/publication/DorrSMBKAMKV22},
cites = {0},
citedby = {0},
pages = {369-370},
booktitle = {IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2022, Nicosia, Cyprus, July 4-6, 2022},
publisher = {IEEE},
isbn = {978-1-6654-6605-9},
}