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
APICe
Tags
Tags
PRISM
Tutti i documenti taggati con
PRISM
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems
Experimenting with Stochastic Prolog as a Simulation Language
Elenco delle attività per i documenti con il tag
PRISM
RSS Feed