Le moteur de recherche
des thèses françaises
Riadh Robbana
IdRefMots clés
FR |
EN
Vérification
Systèmes distribués
Modélisation
Temps réel (informatique)
Reconfiguration logicielle
Architecture logicielle
Conception
Validation
Graphe
Développement logiciel
Systèmes communicants
Reconfiguration (informatique)
Systèmes à base de composants
Sécurité
Cryptographie
Contrôle de flux d'information
Systèmes embarqués (informatique)
Systèmes temps réel
Automate temporisé
Automate à pile temporisé