close
1.

図書

図書
David de Frutos-Escrig, Manuel Núñes (eds.)
出版情報: Berlin : Springer, c2004  x, 375 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3235
所蔵情報: loading…
2.

図書

図書
Hartmut König, Monika Heiner, Adam Wolisz (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 429 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2767
所蔵情報: loading…
3.

図書

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

図書

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

図書

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

図書

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

図書

図書
edited by Ana Cavalli and Stan Budkowski
出版情報: London ; Tokyo : Chapman & Hall, 1996  xi, 451 p. ; 24 cm
所蔵情報: loading…
8.

図書

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

図書

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

図書

図書
edited by Omar Rafiq
出版情報: Amsterdam ; New York : North-Holland, 1994  xiii, 378 p. ; 23 cm
シリーズ名: IFIP transactions ; C . Communication systems ; 19
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼