Christophe Lohr
Mots clés
FR |
EN
Rt-lotos
Cohérence temporelle (informatique)
Automates temporisés
Graphe d'accessibilité
Temps réel (informatique)
Méthodes formelles (informatique)
UML (informatique)
Logiciels -- Validation
Multichemins
MPTCP
Gestion de tampon
Noyau
LISP
Ordinateurs -- Mémoires tampons
Internet
LISP (langage de programmation)
Mobilité de réseau
Nemo
Mobilité automobile
MultiPath TCP