Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science: First EEF/Euro Summer School on ... July 3-7, 2000. Revised Lectures: 2090 - Brossura

 
9783540424796: Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science: First EEF/Euro Summer School on ... July 3-7, 2000. Revised Lectures: 2090
Brossura
ISBN 10: 3540424792 ISBN 13: 9783540424796
Casa editrice: Springer, 2001

Sinossi

Presents the state of the art of research and tool development for the promising integrated approach towards modeling and analysis of functional and performance aspects of reactive systems. Revised lectures. Softcover.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

Formal Methods for Performance Evaluation.- Markovian Models for Performance and Dependability Evaluation.- to Stochastic Petri Nets.- Non-Markovian Analysis.- Process Algebra and Markov Chains.- Verification of Randomized Distributed Algorithms.- Constructing Automata from Temporal Logic Formulas: A Tutorial?.- Exploiting Structure in Solution: Decomposing Compositional Models.- Stochastic Activity Networks: Formal Definitions and Concepts?.- Distributed and Structured Analysis Approaches to Study Large and Complex Systems?.- General Distributions in Process Algebra.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2001
Lingua
Inglese
ISBN 10 
3540424792
ISBN 13 
9783540424796
Rilegatura
Copertina flessibile
Numero di pagine
444
Redattore
Brinksma Ed
Contatto del produttore
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Germania