GNESI, STEFANIA
GNESI, STEFANIA
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.004 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 |