BibTeX record conf/isvlsi/DorrSMBKAMKV22

• > Home > conf/isvlsi/DorrSMBKAMKV22

@inproceedings{DBLP:conf/isvlsi/DorrSMBKAMKV22,
  author       = {Tobias D{\"{o}}rr and
                  Florian Schade and
                  Leonard Masing and
                  J{\"{u}}rgen Becker and
                  Georgios Keramidas and
                  Christos P. Antonopoulos and
                  Michail Mavropoulos and
                  Vasilios I. Kelefouras and
                  Nikolaos S. Voros},
  title        = {Safety by Construction: Pattern-Based Application of Safety Mechanisms
                  in {XANDAR}},
  booktitle    = {{IEEE} Computer Society Annual Symposium on VLSI, {ISVLSI} 2022, Nicosia,
                  Cyprus, July 4-6, 2022},
  pages        = {369--370},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ISVLSI54635.2022.00081},
  doi          = {10.1109/ISVLSI54635.2022.00081},
  timestamp    = {Tue, 21 Mar 2023 20:58:51 +0100},
  biburl       = {https://dblp.org/rec/conf/isvlsi/DorrSMBKAMKV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}