Proof that Timing Requirements of the FDDI Token Ring Protocol are Satisfied.

Marjory J. Johnson

Published in: IEEE Trans. Commun. (1987)

Keyphrases

formal proof
database
lightweight
user requirements
application specific
real time systems
communication protocol
wide area network
web services
case study
theorem prover
cryptographic protocols
communication protocols
coloured petri nets