|
Showing 1 - 2 of
2 matches in All Departments
Formal Methods for Protocol Engineering and Distributed Systems
addresses formal description techniques (FDTs) applicable to
distributed systems and communication protocols. It aims to present
the state of the art in theory, application, tools an
industrialization of FDTs. Among the important features presented
are: FDT-based system and protocol engineering; FDT application to
distributed systems; Protocol engineeering; Practical experience
and case studies. Formal Methods for Protocol Engineering and
Distributed Systems contains the proceedings of the Joint
International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols and Protocol
Specification, Testing, and Verification, which was sponsored by
the International Federation for Information Processing (IFIP) and
was held in Beijing, China, in October 1999. This volume is
suitable as a secondary text for a graduate level course on
Distributed Systems or Communications, and as a reference for
researchers and industry practitioners.
Formal Methods for Protocol Engineering and Distributed Systems
addresses formal description techniques (FDTs) applicable to
distributed systems and communication protocols. It aims to present
the state of the art in theory, application, tools an
industrialization of FDTs. Among the important features presented
are: FDT-based system and protocol engineering; FDT application to
distributed systems; Protocol engineeering; Practical experience
and case studies. Formal Methods for Protocol Engineering and
Distributed Systems contains the proceedings of the Joint
International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols and Protocol
Specification, Testing, and Verification, which was sponsored by
the International Federation for Information Processing (IFIP) and
was held in Beijing, China, in October 1999. This volume is
suitable as a secondary text for a graduate level course on
Distributed Systems or Communications, and as a reference for
researchers and industry practitioners.
|
You may like...
Top Five
Rosario Dawson, Cedric The Entertainer, …
Blu-ray disc
R40
Discovery Miles 400
|