Formal techniques for verification of complex real-time systems

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

241 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Electrical Engineering
Supervisors/Advisors
  • Stevens, M.P.J., Promotor
  • Baeten, Jos, Promotor
  • Voeten, Jeroen P.M., Copromotor
Award date8 Oct 2002
Place of PublicationEindhoven
Publisher
Print ISBNs90-386-1930-8
DOIs
Publication statusPublished - 2002

Cite this