HU, TINGTING

HU, TINGTING  

Dipartimento di Automatica e Informatica  

020711  

Mostra records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.005 secondi).
Citazione Data di pubblicazione Autori File
Model checking / Hu, Tingting; CIBRARIO BERTOLOTTI, Ivan - In: Digital Avionics Handbook, 3rd editionSTAMPA. - [s.l] : CRC press - Taylor and Francis Group, 2014. - ISBN 9781439868614. 1-gen-2014 HU, TINGTINGCIBRARIO BERTOLOTTI, IVAN -