Search Result
Save to File
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