Protocol Specification, Testing and Verification

IFIP Publications

IFIP TC6

IFIP WG6.1

21. FORTE 2001: Cheju Island, Korea

• 
  Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee:
  Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21^st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea. IFIP Conference Proceedings 197, Kluwer 2001, ISBN 0-7923-7470-3 [contents]

The merged FORTE/PSTV conference is just called FORTE since 2001.

20. PSTV / 13. FORTE 2000: Pisa, Italy

• 
  Tommaso Bolognesi, Diego Latella:
  Formal Techniques for Distributed System Development, FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy. IFIP Conference Proceedings 183, Kluwer 2000, ISBN 0-7923-7968-3 [contents]

Formal Methods Elsewhere: ENTCS 43

19. PSTV / 12. FORTE 1999: Beijing, China

• 
  Jianping Wu, Samuel T. Chanson, Qiang Gao:
  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. IFIP Conference Proceedings 156, Kluwer 1999, ISBN 0-7923-8646-9 [contents]

18. PSTV / 11. FORTE 1998: Paris, France

• 
  Stanislaw Budkowski, Ana R. Cavalli, Elie Najm:
  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. IFIP Conference Proceedings 135, Kluwer 1998, ISBN 0-412-84760-4 [contents]

17. PSTV / 10. FORTE 1997: Osaka, Japan

• 
  Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino:
  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. IFIP Conference Proceedings 107, Chapman & Hall 1998, ISBN 0-412-82060-9 [contents]

FORTE/PSTV 1997 Home Page

16. PSTV / 9. FORTE 1996: Kaiserslautern, Germany

• 
  Reinhard Gotzhein, Jan Bredereke:
  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. IFIP Conference Proceedings 69, Chapman & Hall 1996, ISBN 0-412-79490-X [contents]

15. PSTV 1995: Warsaw, Poland

• 
  Piotr Dembinski, Marek Sredniawa:
  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. IFIP Conference Proceedings 38, Chapman & Hall 1996, ISBN 0-412-71620-8 [contents]

14. PSTV 1994: Vancouver, BC, Canada

• 
  Son T. Vuong, Samuel T. Chanson:
  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. IFIP Conference Proceedings 1, Chapman & Hall 1995, ISBN 0-412-63640-9 [contents]

13. PSTV 1993: Liège, Belgium

• 
  André A. S. Danthine, Guy Leduc, Pierre Wolper:
  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. IFIP Transactions C-16, North-Holland 1993, ISBN 0-444-81648-8 [contents]

12. PSTV 1992: Lake Buena Vista, Florida, USA

• 
  Richard J. Linn Jr., M. Ümit Uyar:
  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. IFIP Transactions C-8, North-Holland 1992, ISBN 0-444-89874-3 [contents]

11. PSTV 1991: Stockholm, Sweden

• 
  Bengt Jonsson, Joachim Parrow, Björn Pehrson:
  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. North-Holland 1991, ISBN 0-444-89210-9 [contents]

10. PSTV 1990: Ottawa, Ontario, Canada

• 
  Luigi Logrippo, Robert L. Probert, Hasan Ural:
  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. North-Holland 1990, ISBN 0-444-88810-1 [contents]

9. PSTV 1989: Enschede, The Netherlands

• 
  Ed Brinksma, Giuseppe Scollo, Chris A. Vissers:
  Protocol Specification, Testing and Verification IX, Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989. North-Holland 1990, ISBN 0-444-88343-6 [contents]

8. PSTV 1988: Atlantic City, USA

7. PSTV 1987: Zürich, Switzerland

• 
  Harry Rudin, Colin H. West:
  Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987. North-Holland 1987, ISBN 0-444-70293-8 [contents]

6. PSTV 1986: Gray Rocks Inn, Canada

5. PSTV 1985: Toulouse-Moissac, France

• 
  Michel Diaz:
  Protocol Specification, Testing and Verification V, Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985. North-Holland 1985, ISBN 0-444-87881-5 [contents]

4. PSTV 1984: Skytop Lodge, PA, USA

• 
  Yechiam Yemini, Robert E. Strom, Shaula Yemini:
  Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984. North-Holland 1985, ISBN 0-444-87676-6 [contents]

3. PSTV 1983: Rüschlikon, Switzerland

• 
  Harry Rudin, Colin H. West:
  Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May - 2 June, 1983. North-Holland 1983, ISBN 0-444-86769-4 [contents]

2. PSTV 1982: Idyllwild, CA, USA

• 
  Carl A. Sunshine:
  Protocol Specification, Testing and Verification, Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification, Idyllwild, CA, USA, 17-20 May, 1982. North-Holland 1982, ISBN 0-444-86481-4 [contents]

1. PSTV 1981: Teddington, UK