Formal methods and code generation techniques in the development of railway signalling systems : dottorato di ricerca in ingegneria informatica, multimedialità e telecomunicazioni / Gianluca Magnani ; supervisor: Alessandro Fantechi ; Ph.D. coordinator: Luigi Chisci
[Firenze, 2014]
1 volume : ill
Ciclo XXV, 2010-2012
In testa al frontespizio: Università degli studi di Firenze, Facoltà di ingegneria, Dipartimento di sistemi e informatica


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