| Date of Award | 31 Oct 1991 |
|---|---|
| Original language | English |
| Supervisor | D.K. Hammer (Supervisor 1), M.J. Diepstraten (Supervisor 2) & L.J.A.M. Somers (Supervisor 2) |
Cite this
- Standard
FORmal specification of embedded systems in ExSpect
Student thesis: Master