SafeX: Open Source Hardware and Software Components for Safety-Critical Systems.

Sergi Alcaide, Guillem Cabo, Francisco Bas, Pedro Benedicte, Francisco Fuentes, Feng Chang, Ilham Lasfar, Ramon Canal, Jaume Abella

Browse the full FDL paper archive.