Formal methods in support of SMC design

E. Bortnik

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

167 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Mechanical Engineering
Supervisors/Advisors
  • Rooda, Koos, Promotor
  • Baeten, Jos, Promotor
  • van de Mortel-Fronczak, J.M. (Asia), Copromotor
Award date1 Jul 2008
Place of PublicationEindhoven
Publisher
Print ISBNs978-90-386-1325-3
DOIs
Publication statusPublished - 2008

Cite this