Pengembangan dan Verifikasi Formal Simulator Sistem Interlocking Kereta Api Menggunakan Petri Net

  • Pengembangan dan Verifikasi Formal Simulator Sistem Interlocking Kereta Api Menggunakan Petri Net

    2018

Nama Peneliti (Ketua Tim)

Yul Yunazwin


Ringkasan Kegiatan


Capaian