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.
Tipo de material:
TextoSeries Lecture Notes in Computer Science ; 4486 | Lecture Notes in Computer Science ; 4486Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Descripción: VII, 469 p. Also available online. online resourceTipo de contenido: - text
- computer
- online resource
- 9783540725220
- SpringerLink (Online service)
- 005.1 23
- QA76.758
Contenidos:
Springer eBooks
No hay ítems correspondientes a este registro
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.
ZDB-2-SCS
ZDB-2-LNC
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.