Browsing MT - Mathematics and Natural Science by Subject "informal system verification"
Now showing items 1-1 of 1
-
Formalisasi Navigasi Mobile Robot (Studi Kasus Robot KRCI FATETA IPB 2006)
(2007)Penelitian tesis ini dilatarbelakangi oleh kebutuhan rancangan kendali navigasi robot pada robot KRCI (Kontes Robot Cerdas Indonesia) 2006 milik Team AERS (Agricultural Engineering Robotic Squad) dari Fakultas Teknik ...