Simulation Infrastructure for Research on Interconnected Unmanned System (SIRIUS)
Explore the source record for details and available documents.
María Consiglio↗
Engineering topics
Marco Feliu
Publications and source records attributed to Marco Feliu.
PRECiSA: From Real Specifications to Floating-point Implementations
Explore the source record for details and available documents.
floating-point↗
Reflow: From Real Number Specifications to Floating-Point Implementations
Explore the source record for details and available documents.
Floating-point↗