Budiyanto, Ida.
" PENGGUNAAN METODE FORMAL PADA SISTEM FAULT TOLERAN INTEGRATED MODULAR AVIONICS" <em>Jurnal TEDC</em> [Online], Volume 8 Number 1 (9 September 2019)