default search action
European Educational Forum: School on Formal Methods and Performance Analysis 2000
- Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen:
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. Lecture Notes in Computer Science 2090, Springer 2001, ISBN 3-540-42479-2 - Ulrich Herzog:
Formal Methods for Performance Evaluation. 1-37 - Boudewijn R. Haverkort:
Markovian Models for Performance and Dependability Evaluation. 38-83 - Gianfranco Balbo:
Introduction to Stochastic Petri Nets. 84-155 - Reinhard German:
Non-Markovian Analysis. 156-182 - Ed Brinksma, Holger Hermanns:
Process Algebra and Markov Chains. 183-231 - Roberto Segala:
Verification of Randomized Distributed Algorithms. 232-260 - Pierre Wolper:
Constructing Automata from Temporal Logic Formulas: A Tutorial. 261-277 - Jane Hillston:
Exploiting Structure in Solution: Decomposing Compositional Models. 278-314 - William H. Sanders, John F. Meyer:
Stochastic Activity Networks: Formal Definitions and Concepts. 315-343 - Gianfranco Ciardo:
Distributed and Structured Analysis Approaches to Study Large and Complex Systems. 344-374 - Joost-Pieter Katoen, Pedro R. D'Argenio:
General Distributions in Process Algebra. 375-430
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.