Formal techniques for verification of complex real-time systems

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

460 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Electrical Engineering
Supervisors/Advisors	Stevens, M.P.J., Promotor Baeten, Jos, Promotor Voeten, Jeroen P.M., Copromotor
Award date	8 Oct 2002
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Print ISBNs	90-386-1930-8
DOIs	https://doi.org/10.6100/IR557598
Publication status	Published - 2002

Access to Document

@phdthesis{1be5d74f3652473483a6f4b340ccb80e,

title = "Formal techniques for verification of complex real-time systems",

author = "M.C.W. Geilen",

year = "2002",

doi = "10.6100/IR557598",

language = "English",

isbn = "90-386-1930-8",

publisher = "Technische Universiteit Eindhoven",

type = "Phd Thesis 1 (Research TU/e / Graduation TU/e)",

school = "Electrical Engineering",

}