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