Bernd Westphal
|
Bernd Westphal
I have moved, find me now at the new DLR Institute Systems Engineering for Future Mobility. |
Research Interests - Publications
Research Interests
Infinite-state Dynamic Topology Systems, Wireless Sensor Networks, Real-Time Systems, Formal Methods and SMEs, Software Modelling, Visual Formalisms, Requirements Engineering, the SoTL of Formal Methods and Software-Engineering, Education Informatics.