tag : PRISM

1 talks
page_white_powerpoint Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (ASENSIS 2012@SASO 2012, 10/09/2012) — Mirko Viroli (Matteo Casadei, Mirko Viroli)

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