Budiyanto, I.
2019 Sep  9.  PENGGUNAAN METODE FORMAL PADA SISTEM FAULT TOLERAN INTEGRATED MODULAR AVIONICS. Jurnal TEDC. [Online] 8:1