Deriving behavioral specifications of industrial software components

Kousar Aslam

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

160 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Mathematics and Computer Science
  • van den Brand, Mark G.J., Promotor
  • Schiffelers, Ramon R.H., Copromotor
  • Cleophas, Loek G.W.A., Copromotor
Award date14 Jun 2021
Place of PublicationEindhoven
Print ISBNs978-90-386-5288-7
Publication statusPublished - 14 Jun 2021

Bibliographical note


Promotion : time and place

  • 13:30h, Auditorium, Collegezaal 4

Cite this