Worldwide Thesis Database & PhD tips

Verification of concurrent systems in a model-driven engineering workflow - PhDData

Access database of worldwide thesis

Verification of concurrent systems in a model-driven engineering workflow

The thesis was published by de Putter, S.M.J., in January 2019, Technische Universiteit Eindhoven.

Abstract:

The full thesis can be downloaded at :
https://pure.tue.nl/ws/files/114195380/20190128_de_Putter.pdf

Read the last PhD tips

2022
October

Do Ph.D. grades matter?
2022
October

How can Ph.D. holders succeed outside of academia?
2022
September

What is beyond Ph.D.?
2022
September

Have you ever regretted your Ph.D.? In the sense that, looking back, you’d have instead invested your time in working outside academia
2022
October

What is the dark side of being a Ph.D. student?