Search Result Save to File Save as CSV
Your search for 52509 returns 3422 document(s)
Verifikasi sistem pengendali lalu lintas kereta api dengan model checker NUSMV/ Annisa Ihsani
Author: Annisa Ihsani; | Call Number: SK-0795 (Softcopy SK-277) Source code SK-252 | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Studi tentang rekayasa dan verifikasi rigor menggunakan SDL dalam perancangan manajemen kegagalan sistem/ Mephri
Author: Mephri; | Call Number: SK-0343 | Edition: Wishnu Prasetya | Type: Skripsi
Find Similar |  Add To Favorites |  Detail in New Window 
Modular and compositional verification for imperative programs and concurrent systems ( verifikasi yang modular dan komposisional untuk program imperatif dan sistem konkuren)
Author: Ade Azurat; | Call Number: DIS-014 (Softcopy DIS-006) | Type: Disertasi
Find Similar |  Add To Favorites |  Detail in New Window 
Formalisasi dan verifikasi spesifikasi sistem pengendali lalulintas kereta api di stasiun dengan rel ganda
Author: Eri Zuliarso; | Call Number: T-0365 | Edition: 2002 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Formalisasi dan verifikasi spesifikasi sistem kontrol persimpangan jalan raya dengan Rel Kereta Api satu jalur satu arah
Author: Achmad Ridok; | Call Number: T-0152 | Edition: 1999 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Analisis Faktor Yang Menyebabkan Kegagalan Implementasi Sistem Verifikasi Biaya Media Di PT Jasa Raharja
Author: Rizki Romodhon; | Call Number: KA-1621 (Softcopy KA-1607) MAK KA-1258 | Edition: 2022 | Type: Karya Akhir (KA)
Find Similar |  Add To Favorites |  Detail in New Window 
Konversi spesifikasi basis data menjadi entity relasionship diagram (ERD) menggunakan association rules mining pada sistem ekstraksi informasi (Proposal HIBAH BERSAING)
Author: Indra Budi | Call Number: PRO-HIBAH BERSAING-2005-002 | Type: Proposal Research (Khusus Dose
Find Similar |  Add To Favorites |  Detail in New Window 
Pembuatan BPMN dan use case diagram serta dokumentasi role user folder file dan database sistem informasi asisten Fakultas Ilmu Komputer Universitas Indonesia
Author: Theo Clinton Agung; | Call Number: KP-2255 (Softcopy KP-1817) | Type: Kerja Praktek (KP)
Find Similar |  Add To Favorites |  Detail in New Window 
Analisis sistem dan spesifikasi requirement menggunakan metode formal pada UML (Studi kasus pada sistem informasi kepegawaian Kab. Ngajuk)
Author: Dwi Kurnia Basuki; Joko Lianto Buliali; | Call Number: SEM-277 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Rancangan formal sistem pengendali integritas untuk lalulintas pada penempatan jalan berbasis logika proposi
Author: Maringan Situmeang; | Call Number: T-0364 | Edition: 2002 | Type: Tesis
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next