Formal specification and analysis of industrial systems

V. Bos, J.J.T. Kleijn

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

282 Downloads (Pure)
Originele taal-2Engels
KwalificatieDoctor in de Filosofie
Toekennende instantie
  • Mathematics and Computer Science
  • Mechanical Engineering
Begeleider(s)/adviseur
  • Baeten, Jos, Promotor
  • Rooda, Koos, Promotor
  • Mauw, Sjouke, Co-Promotor
  • van de Mortel-Fronczak, J.M. (Asia), Co-Promotor
Datum van toekenning7 mrt 2002
Plaats van publicatieEindhoven
Uitgever
Gedrukte ISBN's90-386-2743-2
DOI's
StatusGepubliceerd - 2002

Bibliografische nota

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

Citeer dit