Martin Zimmermann

Explora cómo la Verificación en Tiempo de Ejecución ayuda a revisar el rendimiento del sistema a través de trazas de eventos.

Una mirada a las técnicas de monitoreo para un rendimiento confiable de sistemas en tiempo real.

La semántica de equipos mejora la verificación de propiedades complejas en sistemas de software.