The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.09 - September (1979 vol.12)
pp: 20-27
C. Sunshine , The Rand Corporation
ABSTRACT
Certain formal approaches, such as transition techniques and reachability analysis, show promising results when applied to protocol specification and verification.
INDEX TERMS
null
CITATION
C. Sunshine, "Formal Techniques for Protocol Specification and Verification", Computer, vol.12, no. 9, pp. 20-27, September 1979, doi:10.1109/MC.1979.1658889
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool