Formal Methods for Performance Evaluation [electronic resource] : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures / edited by Marco Bernardo, Jane Hillston.

By:

Bernardo, Marco [editor.]

Contributor(s):

Material type: Text

TextSeries: Lecture Notes in Computer Science ; 4486Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Description: VII, 469 p. Also available online. online resourceContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783540725220

Subject(s):

Additional physical formats: Printed edition:: No titleDDC classification:

005.1 23

LOC classification:

QA76.758

Online resources:

Click here to access online

Contents:

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.

In: Springer eBooks

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
E-Book	Central Library		Available		E-44293

There are no comments on this title.

to post a comment.