Le moteur de recherche
des thèses françaises
Tiphaine Viard
IdRefMots clés
FR |
EN
Flots de liens
Trafic IP
Interactions temporelles
Modélisation
Réseaux complexes
TCP/IP (protocole de réseaux d'ordinateurs)
Interaction sociale
Automate à mémoire
Automate temporisé
Expression régulière
Vérification dynamique
Système complexe
Langages formels
Automates temporisés
Expressions rationnelles
Logiciels -- Vérification
Systèmes complexes
Graphe temporel
Connectivité temporelle
Chemin temporel