Formal specification and analysis of hybrid systems

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

97 Downloads (Pure)
Originele taal-2Engels
KwalificatieDoctor in de Filosofie
Toekennende instantie
  • Department of Mathematics and Computer Science
  • Department of Mechanical Engineering
Begeleider(s)/adviseur
  • Rooda, J.E. (Koos), Promotor
  • Baeten, Jos, Promotor
  • van Beek, D.A. (Bert), Co-Promotor
  • Reniers, Michel A., Co-Promotor
Datum van toekenning7 feb 2006
Plaats van publicatieEindhoven
Uitgever
Gedrukte ISBN's90-386-2997-4
DOI's
StatusGepubliceerd - 2006

Bibliografische nota

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

Citeer dit