Corsi
Eventi
Presentazioni
Prodotti
Progetti
Pubblicazioni
Riviste
Tesi
Tirocini
Toggle navigation
SSO login
Home
Indice dei Documenti
Rubrica degli Utenti
Application Index
Global
Lingue
Lingua predefinita
What's New
Indice dei Wiki
Eng
Ita
Ricerca
Presentazioni
Nuvole
tag : PRISM
tag : PRISM
1 presentazioni
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)
[
nuvola tag
/ presentazioni ]