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.

図書

図書
Manuel Núñez ... [et al.] (eds.)
出版情報: Berlin : Springer, c2004  xi, 379 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3236
所蔵情報: loading…
3.

図書

図書
Elie Najm, Jean-Francois Pradat-Peyre, Veronique Viguie Donzeau-Gouge (eds.)
出版情報: Berlin : Springer, c2006  xii, 486 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4229
所蔵情報: loading…
4.

図書

図書
Farn Wang (ed.)
出版情報: Berlin : Springer, c2005  xii, 558 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3731
所蔵情報: loading…
5.

図書

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

図書

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

図書

図書
edited by Reinhard Gotzhein and Jan Bredereke
出版情報: London : published by Chapman & Hall on behalf of the International Federation for Information Processing, 1996  vii, 516 p. ; 25 cm
所蔵情報: loading…
8.

図書

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

図書

図書
edited by Juan Quemada, Jose Mañas, Enrique Vázquez
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y. : Distributors for the US and Canada, Elsevier Science Pub. Co., 1991  xvii, 584 p. ; 23 cm
所蔵情報: loading…
10.

図書

図書
edited by K.R. Parker, G.A. Rose
出版情報: Amsterdam ; Tokyo : North-Holland, 1992  xv, 574 p. ; 23 cm
シリーズ名: IFIP transactions ; C . Communications systems ; 2
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼