Per stato

2 lavori / non pubblicati / Matteo Casadei

A Framework to Specify and Verify Computational Fields for Pervasive Systems (articolo in rivista) — Matteo Casadei, Mirko Viroli
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems (rapporto tecnico) — Matteo Casadei, Mirko Viroli

2 non pubblicati • in cima • indice • in fondo