Mohamad, Radziah (2003) A review of formal method techniques for specifying a wall-climbing robot control firmare requirement. In: Advanced Technology Congress, 2003, Serdang, Selangor.
Full text not available from this repository.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Divisions: | Computer Science and Information System |
| ID Code: | 22233 |
| Deposited By: | Liza Porijo |
| Last Modified: | 08 Feb 2012 04:30 |
Repository Staff Only: item control page
