Budiyanto, I.
(2019).
 PENGGUNAAN METODE FORMAL PADA SISTEM FAULT TOLERAN INTEGRATED MODULAR AVIONICS.
<em>Jurnal TEDC, 8</em>(1), 80-85.
Retrieved from <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>