Formal specification of embedded systems

L.M.P. Gorissen, Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Software Technology (ST)

Research output: ThesisPd Eng Thesis

Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
Supervisors/Advisors
  • Hammer, Dieter, Supervisor
  • Somers, Lou J.A.M., Supervisor
Award date1 Jan 1990
Place of PublicationEindhoven
Publisher
Print ISBNs90-5282-084-8
Publication statusPublished - 1990

Bibliographical note

Eindverslag

Cite this