Courses
Events
Internships
Journals
Products
Projects
Publications
Talks
Theses
Toggle navigation
SSO login
Home
Page Index
User Index
Application Index
Global
Languages
Default Language
What's New
Wiki Index
Eng
Ita
Search
APICe
Tags
Tags
probabilistic model checking
All pages tagged with
probabilistic model checking
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
A Framework to Specify and Verify Computational Fields for Pervasive Systems
Combining Simulation and Formal Tools for Developing Self-Organizing MAS
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems
Activity Stream for pages tagged with
probabilistic model checking
RSS Feed