Proof of correctness of ATM retransmission scheme.

Jane M. Simmons

Published in: Comput. Networks ISDN Syst. (1997)

Keyphrases

learning scheme
classification scheme
neural network
theorem proving
theorem prover
response time
computational complexity
knowledge base
information systems
genetic algorithm
database
detection scheme
atm networks
recognition scheme
provably correct
priority scheduling
air traffic management