Telnet Option Specifications.

Jon Postel Joyce K. Reynolds

Published in: RFC (1983)

Keyphrases

formal specification
delay insensitive
specification language
bibliographic databases
reactive systems
databases
high level
design requirements
real world
multiscale
artificial neural networks
functional requirements
transition systems
attribute grammars
formal descriptions
written in natural language