Saddek Bensalem
IdRefMots clés
FR |
EN
Temps réel (informatique)
Vérification
Méthodes formelles
Surveillance
Concurrence
Méthodes formelles (informatique)
Systèmes informatiques
Système distribué
Composant
Vérification de modèles (informatique)
Verification
Systèmes embarqués (informatique)
Raffinement
Architecture
Communication
Composants électroniques
Atomicité
Vulnerabilité
Microprocesseurs multi-coeurs
Temps réel