Interim NETRJS specifications.

Robert T. Braden

Published in: RFC (1971)

Keyphrases

neural network
high level
delay insensitive
functional requirements
transition systems
operational semantics
formal specification
finite state machines
data sets
control flow
data model
asynchronous circuits
reactive systems
concurrent systems
artificial neural networks
image segmentation
bounded model checking