SafeX: Open Source Hardware and Software Components for Safety-Critical Systems (163812679)

Jan 1, 2022·
Dr. Sergi Alcaide Portet
Dr. Sergi Alcaide Portet
,
G. Cabo
,
F. Bas
,
P. Benedicte
,
F. Fuentes
,
F. Chang
,
I. Lasfar
,
R. Canal
,
J. Abella
· 0 min read
Type
Publication
Forum on Specification and Design Languages
publications
Dr. Sergi Alcaide Portet
Authors
Dr. Sergi Alcaide Portet (he/him)
Postdoc | Research Engineer
Sergi Alcaide is a PostDoc in the HADES group, within the HPES Lab @ BSC (Barcelona Supercomputing Center)
Authors
G. Cabo
Authors
F. Bas
Authors
P. Benedicte
Authors
F. Fuentes
Authors
F. Chang
Authors
I. Lasfar
Authors
R. Canal
Authors
J. Abella