Cover Image

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

Saved in:
Bibliographic Details
Main Author: Mohamad, Radziah
Format: Thesis
Published: 2000
Subjects:
QA76 Computer software
Online Access:http://eprints.utm.my/id/eprint/43474/
Tags: Add Tag
No Tags, Be the first to tag this record!
id my.utm.43474
record_format eprints
spelling my.utm.434742014-11-02T03:35:41Z http://eprints.utm.my/id/eprint/43474/ 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 QA76 Computer software 2000 Thesis NonPeerReviewed 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.
institution Universiti Teknologi Malaysia
building UTM Library
collection Institutional Repository
continent Asia
country Malaysia
content_provider Universiti Teknologi Malaysia
content_source UTM Institutional Repository
url_provider http://eprints.utm.my/
topic QA76 Computer software
spellingShingle QA76 Computer software
Mohamad, Radziah
Formal specification of a small-scale embedded hard real-time system : a case study of a controller of a four-legged wall-climbing robot
format Thesis
author Mohamad, Radziah
author_facet Mohamad, Radziah
author_sort Mohamad, Radziah
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_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_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_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
publishDate 2000
url http://eprints.utm.my/id/eprint/43474/
_version_ 1643651200105578496
score 13.214268

Similar Items