Formal Description Techniques and Protocol Specification, Testing and Verification: Forte X / Pstv XVII 97

by , ,

Formal Description Techniques and Protocol Specification, Testing and Verification: Forte X / Pstv XVII 97 - Chapman, and Hall, and Chapman & Hall

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an ... Read More

Currently there are no copies available. However, our inventory changes frequently. Please check back soon or try Book Fetch.