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 8-June 2, 2007, Advanced Lectures / edited by Marco Bernardo, Jane Hillston.
Contributor(s): Bernardo, Marco [editor.]
| Hillston, Jane [editor.] | SpringerLink (Online service).
Material type: 
BookSeries: Programming and Software Engineering: 4486Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Edition: 1st ed. 2007.Description: VII, 469 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540725220.Subject(s): Computer science | Software engineering | Compilers (Computer programs) | Computers, Special purpose | Computer networks | Theory of Computation | Software Engineering | Compilers and Interpreters | Computer Science Logic and Foundations of Programming | Special Purpose and Application-Based Systems | Computer Communication NetworksAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 004.0151 Online resources: Click here to access online
Contents:
In:
Springer Nature eBook
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.
No physical items for this record
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.
There are no comments for this item.