Technology A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems

1. Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing SystemsMatteo Casadei, Mirko Viroli {m.casadei,mirko.viroli}@unibo.itAlma…