Courses
Events
Internships
Journals
Products
Projects
Publications
Talks
Theses
Toggle navigation
SSO login
Home
Page Index
User Index
Application Index
Global
Languages
English
What's New
Wiki Index
Eng
Ita
Search
Matteo Casadei
Publications
Per Status
Per Status
Per Status
2 works
/
unpublished
/
Matteo Casadei
short
unpublished
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