Ditemukan 2 dokumen yang sesuai dengan query
I.S.W.B. Prasetya
"
Otomasi dari verifikasi formal sebuah sistem membutuhkan mekanisasi logika yang menjadi basis metoda verifikasi yang digunakan. Logika yang dibutuhkan sering kali cukup rumit dan sebetulnya merupakan komposisi dari beberapa logika lainnya. Ini memberikan komplikasi ekstra karena sekarang aspek seperti hirarki antar logika dan modularitasnya merupakan aspek yang juga erlu diperhatikan. Framework yang ada cenderung berfokus pada mekanisasi dari sebuah logika saja dan ini menurut pengalaman kami kurang memuaskan untuk membangun sistem dengan multi logika. ...
"
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2001
JIKT-1-2-Okt2001-35
Artikel Jurnal Universitas Indonesia Library
Marpaung, Daniel Adieu Manuturi, author
"
Salah satu transportasi laut yang dapat memasuki daerah pedalaman dan area terpencil ialah angkutan laut Ro-Ro Roll On-Roll Off. Sarana angkutan laut Ro-Ro dan sejenisnya memiliki teknologi yang mampu memfasilitasi kebutuhan masyarakat, dikarenakan mempunyai draft minimum serta multifungsi. Pola ini dapat dikembangkan dan bersaing dengan transportasi lain, yang dimana memiliki tarif relatif murah dan terjangkau. Adanya berbagai dasar penyebab kecelakaan pada kapal ro-ro ferry menjadikan peraturan terhadap kapal ro-ro ferry semakin diperketat. Jenis kecelakaan dengan ...
"
Depok: Fakultas Teknik Universitas Indonesia, 2018
S-Pdf
UI - Skripsi Membership Universitas Indonesia Library
