IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification   (1988;1989;1990;1995)

この人物の情報

人物別名 and Verification IFIP WG 6.1 International Symposium on Protocol Specification, Testing
生年 1988年
没年 1995年
をも見よ IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification

本の一覧

タイトル 著作者等 出版元 刊行年月
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
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
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]
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
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
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
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
この人物の作品が掲載されている本を検索
この人物を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この人物と繋がる本を検索

ウィキペディアから連想