Jan Martinus Evert Maria van der Werf

MathSciNet


Ph.D. Humboldt-Universität zu Berlin and Technische Universiteit Eindhoven 2011 Germany Netherlands
Dissertation: Compositional Design and Verification of Component-Based Information Systems
Mathematics Subject Classification: 68—Computer science

Advisor 1: Kees Max van Hee
Advisor 2: Wolfgang Reisig
Advisor 3: Natalia Sidorova

No students known.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 208191 for the advisor ID.