Verification of concurrent systems in a model-driven engineering workflow

S.M.J. de Putter

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

158 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Department of Mathematics and Computer Science
Supervisors/Advisors
  • van den Brand, Mark G.J., Promotor
  • Wijs, Anton J., Copromotor
Award date28 Jan 2019
Place of PublicationEindhoven
Publisher
Print ISBNs978-90-386-4678-7
Publication statusPublished - 28 Jan 2019

Bibliographical note

Proefschrift

Cite this