Search Result

Your search for 14384 returns 255 document(s)

Formalisasi dan verifikasi spesifikasi pengendali lalu lintas kereta api di stasiun dengan rel ganda, hal 8-18

Author: Eri Zuliarso, Belawati H.W. dan Widijanto S. N. | Call Number: JURNAL ILMU KOMPUTER DAN TEKNOLOGI INFORMASI, Vol. 3 No. 1 Mei 2003 | Type: UI-ana Indek Artikel

Formalisasi verifikasi spesifikasi sistem pengendali lalulintas kereta api di stasiun dengan rel ganda, Hal. 20-27

Author: Eri Zuliarso; Belawati Widjaja; Widijanto S. Nugroho; | Call Number: SEM-273 | Type: Indeks Artikel prosiding/Sem

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

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

Analisa pengembangan formalisasi sistem pengendali lalu lintas kereta api

Author: Irene Ully Havsa; | Call Number: SK-0874 (Softcopy SK-356) Source code SK-312 | Type: Skripsi

Formalisasi dan verifikasi sistem pengendali lalu lintas/ Manogari Simanjuntak

Author: Manogari Simanjuntak; | Call Number: SK-0371 | Edition: Wishnu Prasetya | Type: Skripsi

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

Analisa gelombang pada rel yang disebabkan pergerakan kereta api kecepatan tinggi

Author: Antoni Wibowo,; | Call Number: T-0198 | Edition: 2000 | Type: Tesis

Formalisasi dan verifikasi dari spesifikasi speculative concurrency control dalam sistem basisdata waktu-nyata

Author: Yanti Rusmawati,; | Call Number: T-0368 | Edition: 2002 | Type: Tesis

Model formal sistem pengendali lalulintas Kereta api di suatu setasiun

Author: Prapto Tri Supriyo; | Call Number: T-0367 | Edition: 2001 | Type: Tesis

Prev 1 2 3 4 5 6 7 8 9 10 Next