Cracking OIL: A Formal Perspective on an Industrial DSL for Modelling Control Software

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

69 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Mathematics and Computer Science
Supervisors/Advisors
  • Willemse, Tim A.C., Promotor
  • van Gool, Louis C.M., Copromotor
Award date5 Sept 2024
Place of PublicationEindhoven
Publisher
Print ISBNs978-90-386-6093-6
Publication statusPublished - 5 Sept 2024

Bibliographical note

Proefschrift.

Cite this