11 results · clear filters Sort: newest oldest name

1. Protocol Specification, Testing and Verification (PSTV) (PSTV)
   series, 23 events, 1981 to 2001
   Computer and information sciences
   s10cet3
2. 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 (FORTE, PSTV)
   1999-10-05/08 · Beijing, People's Republic of China
   Computer and information sciences
   e113t4n
3. 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 and Verification (PSTV XVIII), 3-6 November, 1998, Paris, France (FORTE, PSTV)
   1998-01-01 · Paris, France
   Computer and information sciences
   e113t3q
4. Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII'97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 November, 1997, Osaka, Japan (FORTE, PSTV)
   1997-01-01 · Osaka, Japan
   Computer and information sciences
   e113t2s
5. Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996 (FORTE, PSTV)
   1996-10-08/11 · Kaiserslautern, Germany
   Computer and information sciences
   e113t1v
6. Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995 (PSTV)
   1995-01-01 · Warsaw, Poland
   Computer and information sciences
   e11pfnp
7. Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994 (PSTV)
   1994-01-01 · Vancouver, Canada
   Computer and information sciences
   e11pfmr
8. Protocol Specification, Testing and Verification XIII, Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993 (PSTV)
   1993-01-01 · Liège, Belgium
   Computer and information sciences
   e11pfkt
9. Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992 (PSTV 1992, PSTV)
   1992-06-22/25 · Lake Buena Vista, United States
   Computer and information sciences
   e10hnh3
10. Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991 (PSTV)
    1991-06-18/20 · Stockholm, Sweden
    Computer and information sciences
    e11pfjw
11. Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990 (PSTV)
    1990-01-01 · Ottawa, Canada
    Computer and information sciences
    e11pfhy

As JSON: https://labs.confref.org/api/search?series=s10cet3&from=1990&to=1999