Budiyanto, Ida.
" PENGGUNAAN METODE FORMAL PADA SISTEM FAULT TOLERAN INTEGRATED MODULAR AVIONICS." <em>Jurnal TEDC</em> [Online], 8.1 (2014): 80-85. Web. 14 Jun. 2026