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
Personal Author:
Publication Information:
Skudai : Universiti Teknologi Malaysia, 2000
DSP_DISSERTATION:
Tesis (Master of Science (Computer Science)) - Universiti Teknologi Malaysia, 2000
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | 30000004221366 | QA76.54 R32 2000 | Closed Access Thesis | UTM Project Paper (Closed Access) | Searching... |