Testing and verification methods for safety critical systems / Daniele Grasso ; advisor: Alessandro Fantechi, Enrico Vicario ; Ph.D. coordinator: Luigi Chisci
[Firenze, 2014]
1 volume : ill
In testa al frontespizio: Università degli studi di Firenze, Dipartimento di sistemi e informatica, dottorato di ricerca in ingegneria informatica, multimedialità e telecomunicazioni, ciclo XXV


Tesi di dottorato. | Lingua: Inglese. | Paese: Italia. | BID: BVE0780321
Biblioteca Inventario Volume Collocazione Fruizione status
Biblioteca Nazionale Centrale - Firenze TD 000025036 1 v. TDR 180 125 Lettura tesi in sede