Formal specification of a small-scale embedded hard real-time system : a case study of a controller of a four-legged wall-climbing robot /
Tesis (Master of Science (Computer Science)) - Universiti Teknologi Malaysia, 2000
| Main Author: | |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Skudai : Universiti Teknologi Malaysia,
2000
|
| Subjects: |
| _version_ | 1796656435186106368 |
|---|---|
| author | Radziah Mohamad, 1974- 632695 |
| author_facet | Radziah Mohamad, 1974- 632695 |
| author_sort | Radziah Mohamad, 1974- 632695 |
| collection | OCEAN |
| description | Tesis (Master of Science (Computer Science)) - Universiti Teknologi Malaysia, 2000 |
| first_indexed | 2024-03-04T15:19:53Z |
| format | |
| id | KOHA-OAI-TEST:57080 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-04T15:19:53Z |
| publishDate | 2000 |
| publisher | Skudai : Universiti Teknologi Malaysia, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:570802021-10-11T02:35:53ZFormal specification of a small-scale embedded hard real-time system : a case study of a controller of a four-legged wall-climbing robot / Radziah Mohamad, 1974- 632695 Skudai : Universiti Teknologi Malaysia,2000engTesis (Master of Science (Computer Science)) - Universiti Teknologi Malaysia, 2000Mikrofilem negatif : MFL 12051 ra575859PRZSLReal-time data processingRobots |
| spellingShingle | Real-time data processing Robots Radziah Mohamad, 1974- 632695 Formal specification of a small-scale embedded hard real-time system : a case study of a controller of a four-legged wall-climbing robot / |
| title | Formal specification of a small-scale embedded hard real-time system : a case study of a controller of a four-legged wall-climbing robot / |
| title_full | Formal specification of a small-scale embedded hard real-time system : a case study of a controller of a four-legged wall-climbing robot / |
| title_fullStr | Formal specification of a small-scale embedded hard real-time system : a case study of a controller of a four-legged wall-climbing robot / |
| title_full_unstemmed | Formal specification of a small-scale embedded hard real-time system : a case study of a controller of a four-legged wall-climbing robot / |
| title_short | Formal specification of a small-scale embedded hard real-time system : a case study of a controller of a four-legged wall-climbing robot / |
| title_sort | formal specification of a small scale embedded hard real time system a case study of a controller of a four legged wall climbing robot |
| topic | Real-time data processing Robots |
| work_keys_str_mv | AT radziahmohamad1974632695 formalspecificationofasmallscaleembeddedhardrealtimesystemacasestudyofacontrollerofafourleggedwallclimbingrobot |