Requirement Specifications For The AT8T 5ESS(R) Switch.

Rati C. Thanawala

Published in: SEKE (1989)

Keyphrases

high speed
formal specification
control flow
delay insensitive
attribute grammars
databases
high level
bayesian networks
model checking
finite state machines
specification language
reactive systems