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

>> Google Books

所蔵情報QRコード

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 <BA00009279>

著者名:

ISBN:

9783540424796 [3540424792]

書誌ID:

BA53479204

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

"LNCS 2090 : Tutorial" -- on cover
Includes bibliographical references and 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

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

Non-Markovian Analysis / Reinhard German

Process Algebra and Markov Chains / Ed Brinksma ; Holger Hermanns

Verification of Randomized Distributed Algorithms / Roberto Segala

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Lectures on Formal Methods and PerformanceAnalysis EEF/Euro Summer School on Trends in Computer Science, Brinksma, Ed, Hermanns, Holger, Katoen, Joost-Pieter SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 図書 Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000 : revised … Mathematics of Program Construction, Backhouse, Roland C., 1948-, Crole, Roy L, Gibbons, Jeremy Springer
2 図書 Central European Functional Programming School : First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005 : revised selected lectures Central European Functional Programming School, Horváth, Zoltán Springer	8 図書 Mathematical methods for protein structure analysis and design : C.I.M.E. Summer School, Martina Franca, Italy, July 9-15, 2000 : advanced lectures C.I.M.E. Summer School, Guerra, Concettina, Istrail, Sorin Springer
3 図書 Generative and transformational techniques in software engineering : international summer school, GTTSE 2005, Braga, Portugal, July 4-8, 2005, revised papers Lämmel, Ralf, Saraiva, João, Visser, Joost Springer	9 図書 Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 … Pernambuco Summer School on Software Engineering, Cavalcanti, Ana, Sampaio, Augusto, Woodcock, Jim Springer
4 図書 Model-based testing of reactive systems : advanced lectures Broy, M., 1949-, Jonsson, Bengt, 1957-, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander Springer	10 電子ブック Validation of Stochastic Systems Christel Baier, Haverkort, Boudewijn R., Hermanns, Holger, Katoen, Joost-Pieter, Siegle, Markus SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
5 図書 Reasoning web : first International Summer School 2005, Msida, Malta, July 25-29, 2005, tutorial lectures Eisinger, Norbert, Małuszyński, Jan, 1941- Springer	11 図書 Applied semantics : International Summer School, APPSEM 2000 Caminha, Portugal, September 9-15, 2000, Advanced lectures Barthe, Gilles Springer
6 図書 Formal methods for components and objects : first International Symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002 : revised lectures FMCO, de Boer, Frank S. Springer	12 電子ブック Formal Methods : 25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings Chechik, Marsha., Katoen, Joost-Pieter, Leucker, Martin SpringerLink Books - AutoHoldings, Springer International Publishing AG