|  |
| |
| Artikel-Nr.:
858A-9783540724827 Herst.-Nr.:
9783540724827 EAN/GTIN:
9783540724827 |
| |
|
| | |
| 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. Weitere Informationen: | | Author: | Marco Bernardo; Jane Hillston | Verlag: | Springer Berlin | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Qualitätssicherung, Sicherung / Qualitätssicherung, Computer, Unified Modeling Language (UML), automata, calculus, communication systems design, formal method, formal methods, formal specification, graph partitioning |
| | |
| |