Syndetics omslagsbild
Bild från Syndetics

Quantitative Evaluation of Systems [electronic resource] : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings / edited by Javier Campos, Boudewijn R. Haverkort.

Medverkande: Materialtyp: TextSerie: Theoretical Computer Science and General Issues ; 9259Utgivningsuppgift: Cham : Springer International Publishing : Imprint: Springer, 2015Utgåva: 1st ed. 2015Beskrivning: XVI, 329 p. 99 illus. online resourceInnehållstyp:
  • text
Medietyp:
  • computer
Bärartyp:
  • online resource
ISBN:
  • 9783319222646
Ämnen: Fler format: Printed edition:: Ingen titel; Printed edition:: Ingen titelDDK-klassifikation:
  • 004.0151 23
Library of Congress (LC) klassifikationskod:
  • QA75.5-76.95
Onlineresurser: I: Springer Nature eBookSammanfattning: 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.
Inga fysiska exemplar för denna post

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.

Licensed e-book