Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Find Similar Add to Favorite

Call Number SEM-276
Collection Type Indeks Artikel prosiding/Sem
Title Verifikasi cocurrent system dengan model checker SMV, Hal. 347-352
Author Ade Azurat, Belawati Widjaja;
Publisher NACSIT 2007 : Proceedings National Conference on Computer Science & Information Technology 2007, January 28-30, 2007
Subject Model checker, verifikasi, reliable software, SMV, formal method
Location
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
SEM-276 TERSEDIA
Tidak ada review pada koleksi ini: 36282
Tidak ada abstrak pada koleksi ini