Showing 1 - 4 results of 4 for search 'IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification', query time: 0.24s Refine Results
  1. 1
    Protocol specification, testing and verification XIV /
    Published 1995
    “...IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  2. 2
    Formal description techniques and protocol specification, testing, and verification : FORTE XI/PSTV XVIII '98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing, andVerification (PSTV XVIII) : 3-6 November 1998, Paris, France /
    Published 1998
    “...IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification...”
    Conference Proceeding Book
  3. 3
    Formal methods for protocol engineering and distributed systems : FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX) : October 5-8, 1999, Beijing, China /
    Published 1999
    “...IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification...”
    Conference Proceeding Book
  4. 4
    Formal methods for protocol engineering and distributed systems : FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX) : October 5-8, 1999, Beijing, China /
    Published 1999
    “...IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
Search Tools: RSS Feed – Email Search