From conceptual models to safety assurance : applying model-based techniques to support safety assurance

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

1797 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Department of Mathematics and Computer Science
Supervisors/Advisors
  • van den Brand, Mark G.J., Promotor
  • Serebrenik, Alexander, Copromotor
  • Engelen, Luc, Copromotor
Award date26 Apr 2016
Place of PublicationEindhoven
Publisher
Print ISBNs978-90-386-4052-5
Publication statusPublished - 26 Apr 2016

Bibliographical note

Proefschrift

Cite this