Industrial development of a real-time operating system, using formal development and verification techniques / Stefano Pepi ; supervisor: Alessandro Fantechi ; Ph.D. coordinator: Luigi Chisci
[Firenze], 2015
1 volume : ill
Ciclo XXVII, 2015
In testa al frontespizio: Università degli studi di Firenze, Facoltà di ingegneria, Dipartimento di sistemi e informatica, dottorato di ricerca in ingegneria informatica e dell'automazione
BN 2016-530T


Tesi di dottorato. | Lingua: Inglese. | Paese: Italia. | BID: BVE0724174
Biblioteca Inventario Volume Collocazione Fruizione status
Biblioteca Nazionale Centrale - Firenze TD 000023455 1 v. TDR 160 473 Lettura tesi in sede