Specification and compositional verification of real-time systems

J.J.M. Hooman

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

340 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Mathematics and Computer Science
Supervisors/Advisors
  • Roever, de, W.P., Promotor
  • Hammer, Dieter, Promotor
Award date15 May 1991
Place of PublicationEindhoven
Publisher
DOIs
Publication statusPublished - 1991

Cite this