Universiti Teknologi Malaysia Institutional Repository

Formal specification of a small-scale embedded hard real-time system : a case study of a controller of a four-legged wall-climbing robot

Mohamad, Radziah (2000) Formal specification of a small-scale embedded hard real-time system : a case study of a controller of a four-legged wall-climbing robot. Masters thesis, Universiti Teknologi Malaysia, Faculty of Computing.

Full text not available from this repository.


Item Type:Thesis (Masters)
Additional Information:Thesis (Sarjana Sains (Sains Komputer)) - Universiti Teknologi Malaysia, 2000
Subjects:Q Science > QA Mathematics > QA76 Computer software
Divisions:Computing
ID Code:43474
Deposited By: Haliza Zainal
Deposited On:02 Nov 2014 03:35
Last Modified:02 Nov 2014 03:35

Repository Staff Only: item control page