Probabilistic Model Checking of DTMC Models of User Activity Patterns

First Author: Andrei O
Attributed to:  A Population Approach to Ubicomp System Design funded by EPSRC


No abstract provided

Bibliographic Information

Digital Object Identifier:

Publication URI:

Type: Book Chapter

Book Title: Quantitative Evaluation of Systems (2014)

Page Reference: 138-153

ISBN: 978-3-319-10695-3