Untitled HOME GANTI PASSWORD LOGOUT




Selamat Datang
SELAMAT DATANG DI PERPUSTAKAAN ONLINE

E-JOURNAL

Utilising bttrace visualizer and ltl formulae patterns for analyzing counterexample



  ID Publisher : 0000023511
  Nama Jurnal : Jurnal Ilmu Komputer dan Informasi (Journal of Computer Science and Information)
  Pengarang : Irene Ully Havsa
  Subjek : Behavior Tree, LTL, counterexample, visualiser
  Edisi : 6 / 1 / Februari 2013


Download File...

  Isi_Artikel_470877806363.pdf
  [ 590716  bytes ]


Kembali


Untitled
          
LINK FAKULTAS
MENU MAHASISWA