Formal specification of embedded systems

Research output: Thesis › EngD Thesis

Original language	English
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