Specification of Guaranteed Quality of Service.

Scott Shenker Craig Partridge Roch Guérin

Published in: RFC (1997)

Keyphrases

high level
formal specification
specification language
search engine
decision making
expert systems
formal methods
formal verification