FORmal specification of embedded systems in ExSpect

  • E.P.L. Pouwels

Student thesis: Master

Abstract

Date of Award31 Oct 1991
Original languageEnglish
SupervisorD.K. Hammer (Supervisor 1), M.J. Diepstraten (Supervisor 2) & Lou J.A.M. Somers (Supervisor 2)

Cite this

FORmal specification of embedded systems in ExSpect
Pouwels, E. P. L. (Author). 31 Oct 1991

Student thesis: Master