Supporting Railway Standardisation with Formal Verification

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

265 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	Willemse, Tim A.C., Promotor Luttik, S.P. (Bas), Copromotor
Award date	23 Oct 2023
Place of Publication	Eindhoven
Publisher	Eindhoven University of Technology
Print ISBNs	978-90-386-5821-6
Publication status	Published - 23 Oct 2023

Proefschrift.

Access to Document

@phdthesis{dfbf73605bf7473f913a1906bc171a3f,

title = "Supporting Railway Standardisation with Formal Verification",

author = "Bouwman, {Markus Simeon}",

note = "Proefschrift.",

year = "2023",

month = oct,

day = "23",

language = "English",

isbn = "978-90-386-5821-6",

series = "IPA dissertation series",

publisher = "Eindhoven University of Technology",

type = "Phd Thesis 1 (Research TU/e / Graduation TU/e)",

school = "Mathematics and Computer Science",

}