close
1.

図書
図書
1. Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings (: pbk)
Ed Brinksma (ed.)
出版情報: Berlin : Springer, c1997  x, 431 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1217
所蔵情報: loading…
2.

図書
図書
2. Tools and algorithms for the construction and analysis of systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers
E. Brinksma ... [et al.], (eds.)
出版情報: Berlin ; New York : Springer, c1995  289 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1019
所蔵情報: loading…
3.

図書
図書
3. Protocol test systems, IV : proceedings of the IFIP TC6 Fourth International Workshop on Protocol Test Systems, organized by PTT Research, Leidschendam, The Netherlands, 15-17 October, 1991
edited by Jan Kroon, Rudolf J. Heijink, Ed Brinksma
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y. : Distributors for the U.S. and Canada, Elsevier Pub. Co., 1992  xi, 310 p. ; 23 cm
シリーズ名: IFIP transactions ; C . Communication systems ; 3
所蔵情報: loading…
4.

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

図書
図書
5. Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
Ed Brinksma, Kim Guldstrand Larsen (eds.)
出版情報: Berlin : Springer, c2002  xiii, 626 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2404
所蔵情報: loading…
6.

図書
図書
6. Lectures on formal methods and performance analysis : First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)
出版情報: Berlin ; Tokyo : Springer, c2001  vi, 429 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2090
所蔵情報: loading…
目次情報: 続きを見る
Formal Methods for Performance Evaluation / Ulrich Herzog
Markovian Models for Performance and Dependability Evaluation / Boudewijn R. Haverkort
Introduction to Stochastic Petri Nets / Gianfranco Balbo
Non-Markovian Analysis / Reinhard German
Process Algebra and Markov Chains / Ed Brinksma ; Holger Hermanns
Verification of Randomized Distributed Algorithms / Roberto Segala
Constructing Automata from Temporal Logic Formulas: A Tutorial / Pierre Wolper
Exploiting Structure in Solution: Decomposing Compositional Models / Jane Hillston
Stochastic Activity Networks: Formal Definitions and Concepts / William H. Sanders ; John F. Meyer
Distributed and Structured Analysis Approaches to Study Large and Complex Systems / Gianfranco Ciardo
General Distributions in Process Algebra / Joost-Pieter Katoen ; Pedro R. D'Argenio
Author Index
Formal Methods for Performance Evaluation / Ulrich Herzog
Markovian Models for Performance and Dependability Evaluation / Boudewijn R. Haverkort
Introduction to Stochastic Petri Nets / Gianfranco Balbo
7.

電子ブック
ＥＢ
7. Computer Aided Verification
CAV (Conference), Ed Brinksma, Kim G. Larsen
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2002
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Tools and Algorithms for the Construction and Analysis of Systems
Brinksma, Ed Brinksma, W. R. Cleaveland, K. G. Larsen, T. Margaria, Bernhard Steffen
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1995
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Tools and Algorithms for the Construction and Analysis of Systems
TACAS '97, Ed Brinksma
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1997
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Lectures on Formal Methods and PerformanceAnalysis
EEF/Euro Summer School on Trends in Computer Science, Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2001
所蔵情報: loading…
目次情報: 続きを見る
Formal Methods for Performance Evaluation / Ulrich Herzog
Markovian Models for Performance and Dependability Evaluation / Boudewijn R. Haverkort
Introduction to Stochastic Petri Nets / Gianfranco Balbo
Non-Markovian Analysis / Reinhard German
Process Algebra and Markov Chains / Ed Brinksma ; Holger Hermanns
Verification of Randomized Distributed Algorithms / Roberto Segala
Constructing Automata from Temporal Logic Formulas: A Tutorial / Pierre Wolper
Exploiting Structure in Solution: Decomposing Compositional Models / Jane Hillston
Stochastic Activity Networks: Formal Definitions and Concepts / William H. Sanders ; John F. Meyer
Distributed and Structured Analysis Approaches to Study Large and Complex Systems / Gianfranco Ciardo
General Distributions in Process Algebra / Joost-Pieter Katoen ; Pedro R. D'Argenio
Author Index
Formal Methods for Performance Evaluation / Ulrich Herzog
Markovian Models for Performance and Dependability Evaluation / Boudewijn R. Haverkort
Introduction to Stochastic Petri Nets / Gianfranco Balbo
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼