Untitled HOME GANTI PASSWORD LOGOUT




Selamat Datang
SELAMAT DATANG DI PERPUSTAKAAN ONLINE

E-JOURNAL

Pemodelan dan Verifikasi Formal Protokol EE-OLSR dengan UPPAAL CORA



  ID Publisher : 0000026146
  Nama Jurnal : Indonesian Journal of Computing and Cybernetic Systems (IJCCS)
  Pengarang : Rachmat Wahid Saleh Insani, Reza Pulungan,
  Subjek : modeling, verification, EE-OLSR, UPPAAL CORA
  Edisi : 10 / 1 / Januari 2016


Download File...

  Isi_Artikel_122847217381.pdf
  [ 654393  bytes ]


Kembali


Untitled
          
LINK FAKULTAS
MENU MAHASISWA