Team Leaders
Formal methods, testing techonology and QoS. |
Formal methods for critical systems, communications software and Internet services on mobile networks. |
Post-Doctorate Researchers
Communication protocols, cellular networks and mobile application performance testing. |
Formal methods to ensure the safety in real-time and hybrid systems. |