Andreas Müller |
Telephone: |
+43-732-2468-4678 |
Fax:
| +43-732-2468-4675 |
Room number: |
S3 0307 |
Email: |
andreas.mueller@jku.at |
Homepage: |
http://www.tk.jku.at/people/müller/ |
| |
Research |
Interests: |
- Cyber-Physical Systems
- Formal Verification
- Component-Based Verification
|
Projects: |
ProofAwarECPS - Proof-Aware Engineering of Cyber-Physical Systems |
| |
|
|