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) |
FORmal specification of embedded systems in COLD-1
Student thesis: Master