Universiti Teknologi Malaysia Institutional Repository

A review of formal method techniques for specifying a wall-climbing robot control firmare requirement

Mohamad, Radziah and Abg. Jawawi, Dyg. Norhayati and Deris, Safaai and Mamat, Rosbi (2003) A review of formal method techniques for specifying a wall-climbing robot control firmare requirement. In: Advanced Technology Congress, 2003, Serdang, Selangor.

Full text not available from this repository.


Item Type:Conference or Workshop Item (Paper)
Uncontrolled Keywords:robots, mobile robot, control
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions:Computer Science and Information System (Formerly known)
ID Code:22233
Deposited By: Liza Porijo
Deposited On:24 Apr 2014 07:10
Last Modified:24 Apr 2014 07:10

Repository Staff Only: item control page