Axel Legay
IdRefMots clés
FR |
EN
Vérification des modèles
Systèmes temps réel
Ordonnancement
Méthode des somme cumulées
Analyse des systèmes
Logiciels -- Vérification
Temps réel (informatique)
Ordonnancement (informatique)
Sommes cumulées, Méthode des
Ingénierie des systèmes
Vérification formelle
Model Checking statistique
Méthodes de Monte-Carlo
Simulation d'événements rares
Échantillonnage statistique
Méthodes de Monte-Carlo multi-Niveaux
Monte-Carlo, Méthode de
Échantillonnage (statistique)
Injection de faute
Détection de vulnérabilité