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: |