| Date of Award | 29 Feb 1992 |
|---|---|
| Original language | English |
| Supervisor | D.K. Hammer (Supervisor 1), M.J. Diepstraten (Supervisor 2) & H.B.M. Jonkers (Supervisor 2) |
Cite this
- Standard
FORmal specification of embedded systems in COLD-1
Student thesis: Master