Per Year
2
talks
/
2012
/
Matteo Casadei
- A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (talk, WOA 2012) — Danilo Pianini (Matteo Casadei, Mirko Viroli)
- Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (talk, ASENSIS 2012 @ SASO 2012) — Mirko Viroli (Matteo Casadei, Mirko Viroli)
