close
1.

図書
図書
1. Protocol test systems, VIII : proceedings of the IFIP WG6.1 TC6 eighth International Workshop on Protocol Test Systems, September 1995
edited by Ana Cavalli and Stan Budkowski
出版情報: London ; Tokyo : Chapman & Hall, 1996  xi, 451 p. ; 24 cm
所蔵情報: loading…
2.

図書
図書
2. Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques
edited by Dieter Hogrefe and Stefan Leue
出版情報: London ; Tokyo : Chapman & Hall on behalf of the International Federation for Information Processing, 1995  x, 520 p. ; 25 cm
所蔵情報: loading…
3.

図書
図書
3. 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…
4.

図書
図書
4. Protocol test systems, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28-30 September 1993
edited by Omar Rafiq
出版情報: Amsterdam ; New York : North-Holland, 1994  xiii, 378 p. ; 23 cm
シリーズ名: IFIP transactions ; C . Communication systems ; 19
所蔵情報: loading…
5.

図書
図書
5. Open distributed processing, II : proceedings of the IFIP TC6/WG6.1 International Conference on Open Distributed Processsing, Berlin, Germany, 13-16 September, 1993
edited by Jan de Meer, Bernd Mahr, Silke Storp
出版情報: Amsterdam ; New York : North-Holland, 1994  xviii, 411 p. ; 23 cm
シリーズ名: IFIP transactions ; C . Communication systems ; 20
所蔵情報: loading…
6.

図書
図書
6. Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, proceedings
Hartmut König, Monika Heiner, Adam Wolisz (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 429 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2767
所蔵情報: loading…
7.

図書
図書
7. Formal techniques for networked and distributed systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid, Spain, September 27-30, 2004 : proceedings
David de Frutos-Escrig, Manuel Núñes (eds.)
出版情報: Berlin : Springer, c2004  x, 375 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3235
所蔵情報: loading…
8.

図書
図書
8. Protocol specification, testing, and verification, VII : proceedings of the IFIP WG 6.1 Seventh International Conference on Protocol Specification, Testing, and Verification
organized by IBM Zurich Research Laboratory, Zurich, Switzerland, 5-8 May 1987 ; edited by Harry Rudin and Colin H. West
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987  xv, 455 p. ; 24 cm
所蔵情報: loading…
9.

図書
図書
9. Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 fourth International Workshop on Protocol Specification, Testing, and Verification (U.S.)
organized by Columbia University, Skytop Lodge, Pennsylvania, U.S.A., June 11-14, 1984; edited by Yechiam Yemini, Robert Strom, and Shaula Yemini
出版情報: Amsterdam; New York : North-Holland , New York, N.Y., U.S.A. : Sole distributor for the U.S.A and Canada, Elsevier Science Pub. Co., 1985  xii, 720 p. ; 23 cm
所蔵情報: loading…
10.

図書
図書
10. Protocol test systems, 7th workshop : 7th IFIP WG6.1 International Workshop on Protocol Test Systems
edited by Tadanori Mizuno, Teruo Higashino, Norio Shiratori ; sponsored by IFIP TC 6/WG 6.1 in cooperation with IPS of Japan and INTAP
出版情報: London ; Tokyo : Chapman & Hall, 1995  vii, 345 p. ; 24 cm
所蔵情報: loading…
11.

図書
図書
11. Protocols for high-speed networks, II : proceedings of the IFIP WG 6.1/WG 6.4 Second International Workshop on Protocols for High-Speed Networks, Palo Alto, CA, U.S.A., 27-29 November 1990
edited by Marjory J. Johnson
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y., U.S.A. : Elsevier Science Pub. Co. [distributor], 1991  xiii, 421 p. ; 24 cm
所蔵情報: loading…
12.

図書
図書
12. Protocols for high-speed networks : selected and revised papers from the IFIP WG 6.1/WG 6.4 International Workshop on Protocols for High-Speed Networks, Zurich, Switzerland, 9-11 May, 1989
edited by Harry Rudin, Robin Williamson
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1989  xi, 323 p. ; 23 cm
所蔵情報: loading…
13.

図書
図書
13. 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…
14.

図書
図書
14. Protocol specification, testing, and verification, V : proceedings of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing, and Verification, organized by the LAAS du CNRS, Toulouse-Moissac, France, June 10-13, 1985
edited by Michel Diaz
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1986  xi, 544 p. ; 24 cm
所蔵情報: loading…
15.

図書
図書
15. Formal techniques for networked and distributed systems - FORTE 2002 : 22nd IFIP WG 6.1 International Conference, Houston, Texas, USA, November 11-14, 2002 : proceedings
Doron A. Peled, Moshe Y. Vardi (eds.)
出版情報: Berlin : Springer, c2002  xi, 368 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2529
所蔵情報: loading…
目次情報: 続きを見る
Encoding PAMR into (Timed) EFSMs / Manuel Núñez ; Ismael Rodr'iguez
Submodule Construction for Specifications with Input Assumptions and Output Guarantees / Gregor v. Bochmann
Congruent Weak Conformance, a Partial Order among Processes / Ronald W. Brower ; Kenneth S. Stevens
Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures / Farn Wang ; Karsten Schmidt
A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction / Dragan BoÜnački
Protocol Techniques for Testing Radiotherapy Accelerators / Kenneth J. Turner ; Qian Bing
System Test Synthesis from UML Models of Distributed Software / Simon Pickin ; Claude Jard ; Yves Le Traon ; Thierry Jeron ; Jean-Marc Jézéquel ; Alain Le Guennec
Formal Test Purposes and the Validity of Test Cases / Peter H. Deussen ; Stephan Tobies
Use of Logic to Describe Enhanced Communications Services / Stephan Reiff-Marganiec
A Formal Venture into Reliable Multicast Territory / Carolos Livadas ; Nancy A. Lynch
Modelling SIP Services Using Cress
Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets / Teemu Tynjälä ; Sari Leppänen ; Vesa Luukkala
Verifying Randomized Byzantine Agreement / Marta Kwiatkowska ; Gethin Norman
Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning / Alessandro Armando ; Luca Compagna
Visual Specifications for Modular Reasoning about Asynchronous Systems / Nina Amla ; E. Allen Emerson ; Kedar S. Namjoshi ; Richard J. Trefler
Bounded Model Checking for Timed Systems / G. Audemard ; A. Cimatti ; A. Kornilowicz ; R. Sebastiani
C Wolf - A Toolset for Extracting Models from C Programs / Daniel C. DuVarney ; S. Purushothaman Iyer
NTIF: A General Symbolic Model for Communicating Sequential Processes with Data / Hubert Garavel ; Frederic Lang
Building Tools for LOTOS Symbolic Semantics in Maude / Alberto Verdejo
From States to Transitions: Improving Translation of LTL Formulae to Buchi Automata / Dimitra Giannakopoulou ; Flavio Lerda
A Compositional Sweep-Line State Space Exploration Method / Lars Michael Kristensen ; Thomas Mailund
On Combining the Persistent Sets Method with the Covering Steps Graph Method / Pierre-Olivier Ribet ; Francois Vernadat ; Bernard Berthomieu
Innovative Verification Techniques Used in the Implementation of a Third-Generation 1.1GHz 64b Microprocessor / Victor Melamed ; Harry Stuimer ; David Wilkins ; Lawrence Chang ; Kevin Normoyle ; Sutikshan Bhutani
Mechanical Translation of I/O Automaton Specifications into First-Order Logic / Andrej Bogdanov ; Stephen J. Garland
Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams / Thanyapat Sakunkonchak ; Masahiro Fujita
A Distributed Partial Order Reduction Algorithm / Robert Palmer ; Ganesh Gopalakrishnan
Author Index
Encoding PAMR into (Timed) EFSMs / Manuel Núñez ; Ismael Rodr'iguez
Submodule Construction for Specifications with Input Assumptions and Output Guarantees / Gregor v. Bochmann
Congruent Weak Conformance, a Partial Order among Processes / Ronald W. Brower ; Kenneth S. Stevens
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼