Formal specification and analysis of hybrid systems

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

91 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Department of Mathematics and Computer Science
  • Department of Mechanical Engineering
Supervisors/Advisors
  • Rooda, Jacobus E. (Koos), Promotor
  • Baeten, Jos, Promotor
  • van Beek, D.A. (Bert), Copromotor
  • Reniers, Michel A., Copromotor
Award date7 Feb 2006
Place of PublicationEindhoven
Publisher
Print ISBNs90-386-2997-4
DOIs
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