Pengembangan Metoda Verifikasi Formal Berbasis Model Checking Untuk Menjamin Keamanan Sistem Interlocking Kereta Api

  • Pengembangan Metoda Verifikasi Formal Berbasis Model Checking Untuk Menjamin Keamanan Sistem Interlocking Kereta Api

    2019

Nama Peneliti (Ketua Tim)

Yul Yunazwin


Ringkasan Kegiatan


Capaian