Riadh Robbana
IdRefMots clés
FR |
EN
Vérification
Systèmes distribués
Temps réel (informatique)
Modélisation
Systèmes à base de composants
Sécurité
Cryptographie
Contrôle de flux d'information
Systèmes temps réel
Automate temporisé
Automate à pile temporisé
Deadline
Test
Mutation
Systèmes embarqués (informatique)
Reconfiguration logicielle
Architecture logicielle
Conception
Validation
Graphe