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 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen, editors, 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. Volume 2090 of Lecture Notes in Computer Science, Springer, 2001.

Conference: eef2001

Abstract is missing.

Formal Methods for Performance EvaluationUlrich Herzog. 1-37 [doi]

Markovian Models for Performance and Dependability EvaluationBoudewijn R. Haverkort. 38-83 [doi]

Introduction to Stochastic Petri NetsGianfranco Balbo. 84-155 [doi]

Non-Markovian AnalysisReinhard German. 156-182 [doi]

Process Algebra and Markov ChainsEd Brinksma, Holger Hermanns. 183-231 [doi]

Verification of Randomized Distributed AlgorithmsRoberto Segala. 232-260 [doi]

Constructing Automata from Temporal Logic Formulas: A TutorialPierre Wolper. 261-277 [doi]

Exploiting Structure in Solution: Decomposing Compositional ModelsJane Hillston. 278-314 [doi]

Stochastic Activity Networks: Formal Definitions and ConceptsWilliam H. Sanders, John F. Meyer. 315-343 [doi]

Distributed and Structured Analysis Approaches to Study Large and Complex SystemsGianfranco Ciardo. 344-374 [doi]

General Distributions in Process AlgebraJoost-Pieter Katoen, Pedro R. D Argenio. 375-430 [doi]

runs on WebDSL

翻译：