Gomez Arnedo, Guillermo
Gomez Arnedo, Guillermo
FM
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.0 secondi).
A Safety Cage for Reliable GNSS and AI-Based PNT: An Experience Report
2027-01-01 Gomez, Guillermo; Griggio, Alberto; Morelli, Luca; Russell, Theodore; Tonetta, Stefano; Trybała, Paweł
A Specification-Driven Approach to Embedded FDIR Code Generation
2025-01-01 Bonafini, Federico; Cavada, Roberto; Cimatti, Alessandro; Gomez, Guillermo; Tonetta, Stefano
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Safety Cage for Reliable GNSS and AI-Based PNT: An Experience Report | 1-gen-2027 | Gomez, Guillermo; Griggio, Alberto; Morelli, Luca; Russell, Theodore; Tonetta, Stefano; Trybała, Paweł | |
| A Specification-Driven Approach to Embedded FDIR Code Generation | 1-gen-2025 | Bonafini, Federico; Cavada, Roberto; Cimatti, Alessandro; Gomez, Guillermo; Tonetta, Stefano |