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
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)
Agus Widadi, author
Stasiun kereta api dan MRT di Depok
Fakultas Teknik Universitas Indonesia, 1996
 UI - Skripsi (Membership)
Sibarani, Evita Marlinang, author
Formalisasi dan verifikasi protokol komunikasi
Fakultas Ilmu Komputer Universitas Indonesia, 1997
 UI - Skripsi (Membership)
Nisa Rahmatika Hadi, author
Fasilitas pada stasiun kereta api di Jakarta. (Studi kasus: stasiun Cikini dan stasiun Gambir)
Fakultas Teknik Universitas Indonesia, 2002
 UI - Skripsi (Membership)
<<   1 2 3   >>