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]
@inproceedings{AlcaideCBBFCLCA22,
title = {SafeX: Open Source Hardware and Software Components for Safety-Critical Systems},
author = {Sergi Alcaide and Guillem Cabo and Francisco Bas and Pedro Benedicte and Francisco Fuentes and Feng Chang and Ilham Lasfar and Ramon Canal and Jaume Abella 0001},
year = {2022},
doi = {10.1109/FDL56239.2022.9925668},
url = {https://doi.org/10.1109/FDL56239.2022.9925668},
researchr = {https://researchr.org/publication/AlcaideCBBFCLCA22},
cites = {0},
citedby = {0},
pages = {1-4},
booktitle = {Forum on Specification & Design Languages, FDL 2022, Linz, Austria, September 14-16, 2022},
publisher = {IEEE},
isbn = {978-1-6654-7332-3},
}