Routing Policy Specification Language next generation (RPSLng).
Larry J. BlunkJoão DamasFlorent ParentAndrei RobachevskyPublished in: RFC (2005)
Keyphrases
- specification language
- description language
- formal specification
- programming language
- requirements specification
- symbolic execution
- optimal policy
- routing protocol
- routing algorithm
- routing problem
- software environment
- shortest path
- ad hoc networks
- search algorithm
- artificial intelligence
- wireless networks
- real world
- object oriented
- information systems
- model checker
- machine learning