Skip to Content

Per Status

2 yet unpublished works / Matteo Casadei

A Framework to Specify and Verify Computational Fields for Pervasive Systems (article in journal) — Matteo Casadei, Mirko Viroli
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems (technical report) — Matteo Casadei, Mirko Viroli

2 unpublished • top • index • bottom