Jan Martinus Evert Maria van der Werf
Ph.D. Humboldt-Universität zu Berlin and Technische Universiteit Eindhoven 2011
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.