Sergi Alcaide, Guillem Cabo, Francisco Bas, Pedro Benedicte, Francisco Fuentes, Feng Chang, Ilham Lasfar, Ramon Canal, Jaume Abella 0001. SafeX: Open Source Hardware and Software Components for Safety-Critical Systems. In Forum on Specification & Design Languages, FDL 2022, Linz, Austria, September 14-16, 2022. pages 1-4, IEEE, 2022. [doi]
Abstract is missing.