Le moteur de recherche
des thèses françaises
Natalia Kushik
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Informatique dans les nuages
Cloud computing
Securité
Detection de menaces
Menace internet
Systèmes informatiques -- Mesures de sûreté
Cyberdéfense
Méthodes de test basées sur les modèles
Modèles formels
Testing
Réseaux logiciels (SDN)
SDN (architecture des réseaux d'ordinateurs)
Ingénierie dirigée par les modèles
Systèmes temps-réel
Exigences temporelles
Temps logique
Temps réel
Vérification formelle
Interprétation abstraite