Ph.D. Dissertation

Dániel Darvas

Title: Practice-Oriented Formal Methods to Support the Software Development of Industrial Control Systems
Supervisors: dr. István Majzik (BME), dr. Enrique Blanco Viñuela (CERN)
Reviewers: dr. Tim A.C. Willemse (TU Eindhoven, the Netherlands), dr. Péter Battyányi (University of Debrecen, Hungary)

The thesis has been defended on 15 May 2017 at Budapest University of Technology and Economics, and awarded by the University Habilitation Committee and Doctoral Council on 25 May 2017 with the grade summa cum laude.

Materials (in English)

Presentation (in English)

Magyar nyelvű anyagok