Luigi Liquori
IdRefMots clés
FR |
EN
Poste à poste (Internet)
Routage par contenu
Pair-à-pair
Interoperabilité des réseaux
Diffusion vidéo
P2p-tv
Routage (informatique)
Logiques probabilistes
Vérification formelle
Cadres logiques
Coq
Probabilités
Méthodes formelles (informatique)
Logiciels -- Vérification
Coq (logiciel)
P2P
Coopération
Réseaux d'électricité intelligents
Réseaux électriques intelligents
MANET