Matteo Casadei, Mirko Viroli. Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems. In Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2012, Lyon, France, September 10-14, 2012. pages 199-204, IEEE Computer Society, 2012. [doi]
Abstract is missing.