Lectures on Formal Methods and Performance Analysis - Softcover

 
9783662181171: Lectures on Formal Methods and Performance Analysis
Softcover
ISBN 10: 3662181177 ISBN 13: 9783662181171
Verlag: Springer, 2014

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2014
Sprache
Englisch
ISBN 10 
3662181177
ISBN 13 
9783662181171
Einband
Taschenbuch
Anzahl der Seiten
446
Herausgeber
Brinksma Ed, Hermanns Holger, Katoen Joost-Pieter
Kontakt zum Hersteller
ROXIO
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
22391
Deutschland