Per Year


Per Year

2 talks  /  2012  /  Matteo Casadei

2012
Danilo Pianini (Matteo Casadei, Mirko Viroli)
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems
(talk, 19/09/2012) 13th Workshop on Objects and Agents (WOA 2012)
Mirko Viroli (Matteo Casadei, Mirko Viroli)
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
(talk, 10/09/2012) ASENSIS @ SASO 2012
(2 talks in 2012)  [top]  [bottom]

Tags:

Avatar

Contacts

Address

APICe Laboratory
Via Venezia, 52
47023, Cesena (FC)
Italy

Phone: +39 0547 339 210

Fax: +39 0547 339 208

Email:
m.casadei@unibo.it
macasadei@deis.unibo.it

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY