Team Leaders
Formal methods, testing techonology and QoS. |
Formal methods for critical systems, communications software and Internet services on mobile networks. |
Post-Doctorate Researchers
Researchers
External Colaborators
Formal methods for the analysis and optimization of heterogeneous systems. |