Jozef Johannes Maria Hooman
Original record- Institution
- Technische Universiteit Eindhoven
- Year
- 1991
- Country
- Netherlands
- MGP identifier
- 170095
Dissertation: Specification and compositional verification of real-time systems
Mathematics Subject Classification: 93—Systems theory; control
Advisors 2
- Dieter K. HammerTechnische Universität Wien · 1971
- Willem-Paul de RoeverVrije Universiteit Amsterdam · 1974
Students 8
| Name | Institution | Year | Students |
|---|---|---|---|
| Dmitri Alksandrovich Chkliaev | Technische Universiteit Eindhoven | 2001 | 0 |
| Jos Coenen | Technische Universiteit Eindhoven | 1994 | 0 |
| Adriaan de Groot | Radboud Universiteit Nijmegen | 2008 | 0 |
| Sarmen Keshishzadeh | Technische Universiteit Eindhoven | 2016 | 0 |
| Thomas Nägele | Radboud Universiteit Nijmegen | 2020 | 0 |
| Ammar Ahmed Hasan Osaiweran | Technische Universiteit Eindhoven | 2012 | 0 |
| Marcel Henri Gerard Verhoef | Radboud Universiteit Nijmegen | 2009 | 0 |
| Ping Zhou | Technische Universiteit Eindhoven | 1993 | 0 |