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

ID:DA03103768

関連著者名: IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification

同姓同名の著者を検索

検索結果7件中 1-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

所蔵館10館
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

所蔵館9館
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]

所蔵館1館
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

所蔵館8館
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

所蔵館10館
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

所蔵館15館
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

所蔵館9館

この著者を外部サイトでさがす

関連著者

ページトップへ