Bernardo / Hillston | Formal Methods for Performance Evaluation | E-Book | sack.de
E-Book

E-Book, Englisch, Band 4486, 472 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Bernardo / Hillston Formal Methods for Performance Evaluation


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

E-Book, Englisch, Band 4486, 472 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-72522-0
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Bernardo / Hillston Formal Methods for Performance Evaluation jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Bernardo, Marco
Hillston, Jane

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.