【Created on October 31, 2023】Integration of CiNii Books into CiNii Research

Impact of the Release of the New "NDL Search" on CiNii Services

IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification

ID:DA03103768

Related Author Name: IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification

Search authors sharing the same name

Search Results1-7 of 7

1

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

edited by Jianping Wu, Samuel T. Chanson, Qiang Gao

Kluwer Academic c1999 The International Federation for Information Processing 28

Available at 10 libraries
2

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

edited by Piotr Dembiński and Marek Średniawa

Chapman & Hall on behalf of the International Federation for Information Processing 1996

Available at 9 libraries
3

Conference proceedings PSTV '95 : Fifteenth International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, 13-16 June, 1995

sponsored by IFIP WG 6.1 ; with support from European Commission Siemens AG ; Organized by Institute of Computer Science of the Polish Academy of Sciences (IPI PAN) and Institute of Telecommunications of the Warsaw University of Technology (IT PW) ; edited by Piotr Dembiński and Marek Średniawa

Siemens 1995]

Available at 1 libraries
4

Protocol specification, testing, and verification, XI : proceedings of the IFIP WG 6.1, eleventh International Symposium on Protocol Specification, Testing, and Verification, Stockholm, Sweden, 18-20 June, 1991

edited by Bengt Jonsson, Joachim Parrow, Björn Pehrson

North-Holland 1991

Available at 8 libraries
5

Protocol specification, testing, and verification, X : proceedings of the IFIP WG 6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990

edited by Luigi Logrippo, Robert L. Probert, Hasan Ural

North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1990

Available at 10 libraries
6

Protocol specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6-9 June, 1989

edited by Ed Brinksma, Giuseppe Scollo, Chris A. Vissers

North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1990

Available at 15 libraries
7

Protocol specification, testing, and verification, VIII : proceedings of the IFIP WG 6.1 Eighth International Symposium on Protocol Specification, Testing, and Verification, Atlantic City, New Jersey, USA, June 7-10, 1988

edited by Sudhir Aggarwal, Krishan Sabnani

North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1988

Available at 9 libraries