Per Status

2 yet unpublished works / Matteo Casadei

Matteo Casadei, Mirko Viroli

A Framework to Specify and Verify Computational Fields for Pervasive Systems

(article in journal) ACM Transactions on Autonomous and Adaptive Systems

Matteo Casadei, Mirko Viroli

Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems

(technical report)

2 unpublished • top • index • bottom