Surveiller les propriétésSurveiller les propriétéstemporelles efficacementsurveillance en temps réel.Aperçus sur des stratégies avancées deLangages formels et théorie des automatesSuivi efficace des propriétés chronométrées dans les systèmes temps réelUn aperçu des techniques de surveillance pour un bon perf' des systèmes en temps réel.2025-06-14T20:02:42+00:00 ― 7 min lire
