Christine Choppy
IdRefMots clés
FR |
EN
Petri, Réseaux de
Sécurité des systèmes
UML (informatique)
Vérification Formelle
Sécurité des réseaux
Orchestration de services
Analyse des systèmes
Méthodes formelles (informatique)
Qualité de service
Informatique omniprésente
SDN (architecture des réseaux d'ordinateurs)
Patron de conception
SOA
Ingénierie dirigée par les modèles
Topologie de Grothendiech
Théorie des faisceaux
Systèmes répartis
Formalisation des fichiers
Cribles
Sémantique opérationnelle