Loading [a11y]/accessibility-menu.js
Formal Techniques for Protocol Specification and Verification | IEEE Journals & Magazine | IEEE Xplore
Subscribe
ADVANCED SEARCH
Journals & Magazines >Computer >Volume: 12 Issue: 9

Formal Techniques for Protocol Specification and Verification

PDF
Sunshine
All Authors

Abstract:

Certain formal approaches, such as transition techniques and reachability analysis, show promising results when applied to protocol specification and verification.

Metadata

Abstract:

Certain formal approaches, such as transition techniques and reachability analysis, show promising results when applied to protocol specification and verification.
Published in: Computer ( Volume: 12, Issue: 9, September 1979)
Page(s): 20 - 27
Date of Publication: 30 September 1979

ISSN Information:

DOI: 10.1109/MC.1979.1658889
Contact IEEE to Subscribe

References

References is not available for this document.

IEEE Account

Purchase Details

Profile Information

Need Help?

A not-for-profit organization, IEEE is the world's largest technical professional organization dedicated to advancing technology for the benefit of humanity.
© Copyright 2025 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.