Standardisation of Formal Description Techniques for Communication Protocols (Invited Paper).

Chris A. Vissers

Published in: IFIP Congress (1986)

Keyphrases

communication protocols
invited paper
learning technologies
communication protocol
communication networks
formal specification
lecture notes
databases
real world
machine learning
information systems
artificial neural networks
computer simulation
computer networks