Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, [Paperback]
Notes: Brand New Item. Not shipped to AK, HI, APO, FPO, AE.
Performance Modelling and Markov Chains.- Queueing Networks.- to Generalized Stochastic Petri Nets.- Stochastic Process Algebras.- A Survey of Markovian Behavioral Equivalences.- Stochastic Model Checking.- Fluid Models in Performance Analysis.- Tackling Large State Spaces in Performance Modelling.- Data Representation and Efficient Solution: A Decision Diagram Approach.- to Software Performance Engineering: Origins and Outstanding Problems.- From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms.
![Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, [Paperback]](/itemImage/2/8/7/7/2_5288477.jpg "Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, [Paperback]")