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