A Dedicated Routing Policy Specification Language Interface Identifier for Operational Testing.
Brian HabermanPublished in: RFC (2010)
Keyphrases
- specification language
- symbolic execution
- formal specification
- programming language
- description language
- user interface
- requirements specification
- optimal policy
- software environment
- routing algorithm
- test cases
- software testing
- routing protocol
- object oriented
- reverse engineering
- routing problem
- reinforcement learning