close
1.

図書
図書
1. 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
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1990  xvi, 401 p. ; 23 cm
所蔵情報: loading…
2.

図書
図書
2. 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
出版情報: Amsterdam ; New York : North-Holland, 1991  xiii, 365 p. ; 23 cm
所蔵情報: loading…
3.

図書
図書
3. 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
出版情報: Amsterdam ; Tokyo : North-Holland , New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1990  xi, 415 p. ; 23 cm
所蔵情報: loading…
4.

図書
図書
4. 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
出版情報: Boston : Kluwer Academic, c1999  497 p. ; 25 cm
シリーズ名: The International Federation for Information Processing ; 28
所蔵情報: loading…
目次情報: 続きを見る
Preface
Committee Members
List of Referees
Invited Talk I
Test I / Part 1：
Conforming configurations in EFSM / A. Petrenko, et al.1：
Remote testing can be as powerful as local testing / C. Jard, et al.2：
Hit-or-Jump: An algorithm for embedded testing with applications to IN services / A. Cavalli, et al.3：
FDTs I / Part 2：
Scalable and Object Oriented SDL State(chart)s / B. M÷ller-Pedersen ; D. Nogva4：
Prototyping Framework for SDL with Evolving Semantics / P. Csurgay5：
Framework for Automatic SDL to C++ Translation / D. Trossen, et al.6：
Test II / Part 3：
Stress Testing of Distributed Multimedia Software Systems / J. Zhang, et al.7：
Fair Testing through Probabilistic Testing / M. Nuez ; D. RupFrez8：
A Formal Approach to Conformance Testing of Distributed Routing Protocols / J. Bi, J. Wu9：
Invited Talk II
FDTs II / Part 4：
Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering / P. Langend÷rfer ; H. K÷nig10：
A Graphical Parallel Composition Operator for Process Algebras / H. Garavel ; M. Sighireanu11：
Guaranteeing liveness in an object calculus through behavioural typing / E. Najm, et al.12：
Model Checking / Part 5：
Black Box Checking / D. Peled, et al.13：
An Optimizing Compiler for Efficient Model Checking / Y. Dong ; C.R. Ramakrishnan14：
Exploiting Symmetry when Model-Checking Software / P. Godefroid15：
Verification / Part 6：
User-Friendly Verification / P.-A. Hsiung ; F. Wang16：
Specification and Verification of Synchronous Hardware using LOTOS / J. He ; K.J. Turner17：
Provably Correct Hardware Compilation using Timing Diagrams / M. Schenke ; M. Dossis18：
Invited Talk III
Test III / Part 7：
An enhanced model for testing asynchronous communicating systems / M. Kim, et al.19：
Interoperability Test Suite Derivation for the TCP / S. Seol20：
Coverage analysis for embedded testing and an application / J. Zhu ; S.T. Vuong21：
FDTs III / Part 8：
A Formal Description Technology: Graphic E-LOTOS / L. Wen, et al.22：
Global Timed Bisimulation: An Introduction / D. de Frutos-Escrig, et al.23：
Protocol Synthesis for Real-Time Applications / A. Khoumsi, et al.24：
Case Studies / Part 9：
Verifying an infinite family of inductions simultaneously using data independence and FDR / S.J. Creese ; A.W. Roscoe25：
Specification and execution of tests using tMsc / I. Ober ; A. Kerbrat26：
Model-Checking A Secure Group Communication Protocol: A Case Study / A.J. Hu, et al.27：
Invited Papers / Part 10：
Software Model Checking / G.J. Holzmann ; M.H. Smith28：
List of Contributors
Short Papers
Preface
Committee Members
List of Referees
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼