Formal specification and analysis of industrial systems

V. Bos, J.J.T. Kleijn

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

274 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Mathematics and Computer Science
  • Mechanical Engineering
  • Baeten, Jos, Promotor
  • Rooda, Koos, Promotor
  • Mauw, Sjouke, Copromotor
  • van de Mortel-Fronczak, J.M. (Asia), Copromotor
Award date7 Mar 2002
Place of PublicationEindhoven
Print ISBNs90-386-2743-2
Publication statusPublished - 2002

Bibliographical note

Proefschrift. - Supervisors V. Bos: J.C.M. Baeten and J.E. Rooda; co-supervisor S. Mauw; supervisors J.J.T. Kleijn: J.E. Rooda en J.C.M. Baeten; co-supervisor J.M. van de Mortel-Fronczak

Cite this