| Document Date: 2009-01-14 12:08:14
Open Document File Size: 222,90 KBShare Result on Facebook
City Madrid / / Company Cisco / / Event FDA Phase / / IndustryTerm active network protocol / neighbor router / static networks / wireless communication protocols / adjacent routers / given search pattern / distancevector routing protocol / real-time and hybrid systems / accessible network / inter-network routers / software models / external gateway protocols / concurrent and distributed systems / distance-vector routing protocol / interior gateway protocols / Internet Protocol / multicast protocol / interconnected computer networks / breadth-first search / communication protocols / real distributed applications / infinite-state systems / real-time systems / object-oriented real-time systems / / Organization Universidad Complutense de Madrid / / Person Alberto Verdejo / / Position SOCKET-MANAGER / / Product Maude application / Maude / / ProgrammingLanguage Maude system / Java / / Technology 6 5 The EIGRP protocol / neighbor router / wireless communication protocols / packet switching / IGP protocols / Java / interior gateway protocols / external gateway protocols / NORM multicast protocol / IP / 2 The EIGRP protocol / simulation / communication protocols / 1 2 3 2 The EIGRP protocol / distance-vector routing protocol / inter-network routers / AER/NCA active network protocol / adjacent routers / distancevector routing protocol / EIGRP protocol / / URL http /
SocialTag |
The EIGRP Protocol in Maude∗ Adri´an Riesco and Alberto Verdejo Technical Report 3/07 Departamento de Sistemas Inform´ aticos y Computaci´ on,