HU, TINGTING
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.001 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 | - |