BUDIYANTO, Ida Bagus.
 PENGGUNAAN METODE FORMAL PADA SISTEM FAULT TOLERAN INTEGRATED MODULAR AVIONICS.
<strong>Jurnal TEDC</strong>, [S.l.], v. 8, n. 1, p. 80-85, sep. 2019.
ISSN 2776-723X.
Available at: &lt;<a href="http://ejournal.poltektedc.ac.id/index.php/tedc/article/view/269" target="_new">http://ejournal.poltektedc.ac.id/index.php/tedc/article/view/269</a>&gt;. Date accessed: 14 june 2026.