Techniques for specification and validation of complex protocols
Simple protocols can be described with natural language and pictures. This description is no longer adequate as protocols become more complex, or more people get involved. Formal Description Techniques (FDTs) have been developed to convey this information clearly and unambiguously (and as a basis fo...
Main Author: | |
---|---|
Format: | Others |
Published: |
1996
|
Online Access: | http://spectrum.library.concordia.ca/177/1/MQ26014.pdf Ewanchyna, Theodore J <http://spectrum.library.concordia.ca/view/creators/Ewanchyna=3ATheodore_J=3A=3A.html> (1996) Techniques for specification and validation of complex protocols. Masters thesis, Concordia University. |