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

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
Tags: Add Tag
No Tags, Be the first to tag this record!
id my-utm-ep.43474
record_format uketd_dc
spelling my-utm-ep.434742014-11-02T03:35:41Z Formal specification of a small-scale embedded hard real-time system : a case study of a controller of a four-legged wall-climbing robot 2000 Mohamad, Radziah QA76 Computer software 2000 Thesis http://eprints.utm.my/id/eprint/43474/ masters Universiti Teknologi Malaysia, Faculty of Computing Faculty of Computing
institution Universiti Teknologi Malaysia
collection UTM Institutional Repository
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
description
format Thesis
qualification_level Master's degree
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
granting_institution Universiti Teknologi Malaysia, Faculty of Computing
granting_department Faculty of Computing
publishDate 2000
_version_ 1747817022141497344

Similar Items