Incremental Verification of Parametric and Reconfigurable Markov Chains
Attributed to:
Energy Efficient Control
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-99154-2_9
Publication URI: http://dx.doi.org/10.1007/978-3-319-99154-2_9
Type: Book Chapter
Book Title: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings (2018)
Page Reference: 140-156
ISSN: 2731-5525