Formal specification of embedded systems

M.J. Diepstraten, Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Software Technology (ST)

Research output: Thesis › EngD Thesis

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution
Supervisors/Advisors	Hammer, Dieter, Supervisor Somers, Lou, Supervisor
Award date	1 Jan 1991
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Print ISBNs	90-5282-165-8
Publication status	Published - 1991

Eindverslag

Cite this

@phdthesis{bc9ab782141940ada78ec84b873a42c5,

title = "Formal specification of embedded systems",

author = "M.J. Diepstraten and {Technische Universiteit Eindhoven (TUE). Stan Ackermans Instituut. Software Technology (ST)}",

note = "Eindverslag",

year = "1991",

language = "English",

isbn = "90-5282-165-8",

publisher = "Technische Universiteit Eindhoven",

type = "EngD Thesis",

}