Formal specification and analysis of hybrid systems

K.L. Man, R.R.H. Schiffelers

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

208 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Mathematics and Computer Science
  • Mechanical Engineering
  • Rooda, Koos, Promotor
  • Baeten, Jos, Promotor
  • van Beek, D.A. (Bert), Copromotor
  • Reniers, Michel A., Copromotor
Award date7 Feb 2006
Place of PublicationEindhoven
Print ISBNs90-386-2997-4
Publication statusPublished - 2006

Bibliographical note

K.L. Man; Department of Mathematics and Computer Science; Supervisors: J.C.M. Baeten and J.E. Rooda; co-supervisor: M.A. Reniers
R.R.H. Schiffelers; Department of Mechanical Engineering; Supervisors: J.E. Rooda and J.C.M. Baeten; Co-promotor: D.A. van Beek

Cite this