TIES529 Routing work
Chaque type de sémantique formelle sera illustré sur un langage-test, appelé .....
de routage qu'on peut trouver dans le monde Internet actuellement (OSPF, RIP,
et BGP). ... Responsables : Gérard Chollet et Dijana Petrovska (20 h Cours-TD).