Martin Zimmermann

Explore comment la vérification à l'exécution aide à vérifier la performance des systèmes à travers des traces d'événements.

Un aperçu des techniques de surveillance pour un bon perf' des systèmes en temps réel.

La sémantique d'équipe améliore la vérification des propriétés complexes dans les systèmes logiciels.