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:
Main Author: | Mohamad, Radziah |
---|---|
Format: | Thesis |
Published: |
2000
|
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
The development of real-time control firmware for a wall climbing robot : a small-scale embedded hard real-time system
by: Norhayati, Dayang
Published: (2000) -
An AI-enhanced control system for a four-legged robot /
by: Atienza, Rowel Orido
Published: (1998) -
Locomotion modelling and simulation of quadruped walking and wall climbing robot
by: Al-Zaydi, Mohammed Yassir Mahdi
Published: (1997) -
Vertical motion control of a one legged hopping robot
by: Azahar, Arman Hadi
Published: (2015) -
A Formal Specification Language For Design Patterns.
by: Taufik Taibi,
Published: (2003)