PreCon - Expressive Context Prediction Using Stochastic Model Checking.

Stefan Föll Klaus Herrmann Kurt Rothermel PreCon - Expressive Context Prediction Using Stochastic Model Checking. 350-364 2011 UIC http://dx.doi.org/10.1007/978-3-642-23641-9_29 conf/uic/2011 db/conf/uic/uic2011.html#FollHR11