European Educational Forum: School on Formal Methods and Performance Analysis

Keyphrases

Publications

2000

William H. Sanders, John F. Meyer
Stochastic Activity Networks: Formal Definitions and Concepts. European Educational Forum: School on Formal Methods and Performance Analysis (2000)
Boudewijn R. Haverkort
Markovian Models for Performance and Dependability Evaluation. European Educational Forum: School on Formal Methods and Performance Analysis (2000)
Roberto Segala
Verification of Randomized Distributed Algorithms. European Educational Forum: School on Formal Methods and Performance Analysis (2000)
Gianfranco Balbo
Introduction to Stochastic Petri Nets. European Educational Forum: School on Formal Methods and Performance Analysis (2000)
Ed Brinksma, Holger Hermanns
Process Algebra and Markov Chains. European Educational Forum: School on Formal Methods and Performance Analysis (2000)
Gianfranco Ciardo
Distributed and Structured Analysis Approaches to Study Large and Complex Systems. European Educational Forum: School on Formal Methods and Performance Analysis (2000)
Jane Hillston
Exploiting Structure in Solution: Decomposing Compositional Models. European Educational Forum: School on Formal Methods and Performance Analysis (2000)
Pierre Wolper
Constructing Automata from Temporal Logic Formulas: A Tutorial. European Educational Forum: School on Formal Methods and Performance Analysis (2000)
Reinhard German
Non-Markovian Analysis. European Educational Forum: School on Formal Methods and Performance Analysis (2000)
Joost-Pieter Katoen, Pedro R. D'Argenio
General Distributions in Process Algebra. European Educational Forum: School on Formal Methods and Performance Analysis (2000)
Ulrich Herzog
Formal Methods for Performance Evaluation. European Educational Forum: School on Formal Methods and Performance Analysis (2000)