Yazar
mandayam k srivas
1 cilt bulundu.
Cilt sonuçları
Formal verification of an avionics microprocessor
Mandayam K. Srivas · National Aeronautics and Space Administration, Langley Research Center
100 sayfa · 1995
Testing / Microprocessors / Avionics / Verification / Computer software