Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/isvlsi/DorrSMBKAMKV22
AU - Dörr, Tobias
AU - Schade, Florian
AU - Masing, Leonard
AU - Becker, Jürgen
AU - Keramidas, Georgios
AU - Antonopoulos, Christos P.
AU - Mavropoulos, Michail
AU - Kelefouras, Vasilios I.
AU - Voros, Nikolaos S.
TI - Safety by Construction: Pattern-Based Application of Safety Mechanisms in XANDAR.
BT - IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2022, Nicosia, Cyprus, July 4-6, 2022
SP - 369
EP - 370
PY - 2022//
DO - 10.1109/ISVLSI54635.2022.00081
UR - https://doi.org/10.1109/ISVLSI54635.2022.00081
ER -
