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]
Abstract is missing.