Supporting Railway Standardisation with Formal Verification

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

226 Downloads (Pure)
Originele taal-2Engels
KwalificatieDoctor in de Filosofie
Toekennende instantie
  • Mathematics and Computer Science
Begeleider(s)/adviseur
  • Willemse, Tim A.C., Promotor
  • Luttik, S.P. (Bas), Co-Promotor
Datum van toekenning23 okt. 2023
Plaats van publicatieEindhoven
Uitgever
Gedrukte ISBN's978-90-386-5821-6
StatusGepubliceerd - 23 okt. 2023

Bibliografische nota

Proefschrift.

Citeer dit