Quantitative evaluation of systems: [electronic resource] :: 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings /: Javier Campos, Boudewijn R. Haverkort (eds.).

Campos, Javier,; Haverkort, Boudewijn R.,

doi:10.1007/978-3-319-22264-6

Quantitative evaluation of systems [electronic resource] : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings / Javier Campos, Boudewijn R. Haverkort (eds.).

International Conference on the Quantitative Evaluation of Systems (12th : 2015 : Madrid, Spain); Campos, Javier, 1963- editor.; Haverkort, Boudewijn R., editor.

2015

QA76.9.E94

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

Authorized users

Document Delivery Supplied

Can lend chapters, not whole ebooks

Details

Title

Quantitative evaluation of systems [electronic resource] : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings / Javier Campos, Boudewijn R. Haverkort (eds.).

Meeting Name

International Conference on the Quantitative Evaluation of Systems (12th : 2015 : Madrid, Spain)

ISBN

9783319222646 electronic book
3319222643 electronic book
9783319222639

DOI

https://doi.org/10.1007/978-3-319-22264-6

Published

Cham : Springer, 2015.

Language

English

Description

1 online resource (xvi, 329 pages) : illustrations.

Item Number

10.1007/978-3-319-22264-6 doi

Call Number

QA76.9.E94

Dewey Decimal Classification

004.2/5

Summary

This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. The 19 papers presented were carefully reviewed and selected from 42 submissions. They are organized in topical sections named: modelling and applications; tools; petri nets, process algebra and fault trees; applications; and queuing systems and hybrid systems. The book also contains one full-paper invited talk.

Note

International conference proceedings.

Bibliography, etc. Note

Includes bibliographical references and author index.

Access Note

Access limited to authorized users.

Source of Description

Online resource; title from PDF title page (SpringerLink, viewed August 27, 2015).

Added Author

Campos, Javier, 1963- editor.
Haverkort, Boudewijn R., editor.

Series

Lecture notes in computer science ; 9259.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.