Quantitative Evaluation of Systems
16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings
Seiten
2019
Springer International Publishing (Verlag)
978-3-030-30280-1 (ISBN)
Springer International Publishing (Verlag)
978-3-030-30280-1 (ISBN)
This book constitutes the proceedings of the 16th International Conference on Quantitative Evaluation Systems, QEST 2019, held in Glasgow, UK, in September 2019.
The 17 full papers presented together with 2 short papers were carefully reviewed and selected from 40 submissions. The papers cover topics in the field of Probabilistic Verification; Learning and Verification; Hybrid Systems; Security; Probabilistic Modelling and Abstraction; and Applications and Tools.
The 17 full papers presented together with 2 short papers were carefully reviewed and selected from 40 submissions. The papers cover topics in the field of Probabilistic Verification; Learning and Verification; Hybrid Systems; Security; Probabilistic Modelling and Abstraction; and Applications and Tools.
Probabilistic Verification.- Learning and Verification.- Hybrid Systems.- Security.- Probabilistic Modelling and Abstraction.- Applications and Tools.
| Erscheinungsdatum | 04.09.2019 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
| Zusatzinfo | XI, 361 p. 595 illus., 55 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 568 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Schlagworte | Algorithm analysis and problem complexity • Artificial Intelligence • Computer Security • cyber physical systems (cpss) • Embedded Systems • formal methods • Formal Verification • Learning Algorithms • Markov Processes • Model Checking • modelling formalisms • Performance Analysis • Probabilistic Models • Probability • quantitative evaluation • Quantitative Verification • Reliability • Software engineering • Software Evaluation • verification |
| ISBN-10 | 3-030-30280-6 / 3030302806 |
| ISBN-13 | 978-3-030-30280-1 / 9783030302801 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
was jeder über Informatik wissen sollte
Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 53,15
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
CHF 53,15
Teil 2 der gestreckten Abschlussprüfung Fachinformatiker/-in …
Buch | Softcover (2025)
Europa-Lehrmittel (Verlag)
CHF 37,90
