Achmad Ridok, author
Formalisasi dan verifikasi spesifikasi sistem kontrol persimpangan jalan raya dengan rel kereta api satu jalur satu arah
Universitas Indonesia, 1999
 UI - Tesis Membership
T.M.A. Noval Asril, author
Penggunaan Sistem Data Akusisi pada Sistem Telemetri dan Monitoring Posisi Kereta Api dan Jalur Rel denga GPS dan Accelerometer
Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 2007
 UI - Tesis Membership
Formalisasi dan verifikasi spesifikasi sistem pengendali lalu lintas kereta api di stasiun dengan rel ganda Eri Zuliarso, Belawati H. Widjaja dan Widijanto S. Nugroho
 Artikel Jurnal
Sibarani, Evita Marlinang, author
Formalisasi dan verifikasi protokol komunikasi
Fakultas Ilmu Komputer Universitas Indonesia, 1997
 UI - Skripsi Membership
Pengembangan sistem ujian dan keamanan pada sistem aplikasi penilaian esai otomatis yang berbasis web dengan metode latent semantic analysis
Fakultas Teknik Universitas Indonesia, 2006
 UI - Skripsi Membership
<<   1 2 3   >>