GNESI, STEFANIA
GNESI, STEFANIA
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.007 secondi).
Preface to Journeys between formal methods and the railway industry. Essays dedicated to Alessandro Fantechi on the occasion of his 70th birthday
2026 Ter Beek, Maurice Henri; Gnesi, Stefania; Haxthausen Anne, E.; Semini, Laura
Formal methods for industrial critical systems: a survey of applications
2013 Gnesi S.; Margaria T.
Formal verification
2001 Bernardeschi, C; Fantechi, A; Gnesi, S
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Preface to Journeys between formal methods and the railway industry. Essays dedicated to Alessandro Fantechi on the occasion of his 70th birthday | 1-gen-2026 | Ter Beek, Maurice Henri; Gnesi, Stefania; Haxthausen Anne, E.; Semini, Laura | |
| Formal methods for industrial critical systems: a survey of applications | 1-gen-2013 | Gnesi S.; Margaria T. | |
| Formal verification | 1-gen-2001 | Bernardeschi, C; Fantechi, A; Gnesi, S |