Formal specification of embedded systems

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

Onderzoeksoutput: Scriptie › EngD Thesis

Originele taal-2	Engels
Kwalificatie	Doctor in de Filosofie
Toekennende instantie
Begeleider(s)/adviseur	Hammer, Dieter, Begeleider Somers, Lou, Begeleider
Datum van toekenning	1 jan. 1991
Plaats van publicatie	Eindhoven
Uitgever	Technische Universiteit Eindhoven
Gedrukte ISBN's	90-5282-165-8
Status	Gepubliceerd - 1991

Eindverslag

Citeer dit

@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",

}