Saddek Bensalem
IdRefMots clés
FR |
EN
Temps réel (informatique)
Méthodes formelles
Vérification
Surveillance
Concurrence
Méthodes formelles (informatique)
Systèmes informatiques
Vérification de modèles (informatique)
Système distribué
Composant
Atomicité
Vulnerabilité
Microprocesseurs multi-coeurs
Temps-réel
Raffinement
Vérification quantitative
Synthèse quantitative
Systèmes adaptatifs
Audit informatique
Temps réel