Theses
Talks
Publications
Projects
Products
People
Journals
Internships
Events
Courses
Home
Toggle navigation
Search
En
It
APICeLogin
Home
Page Index
User Index
Application Index
Global
Languages
Default Language
Wiki Index
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
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems
A Framework to Specify and Verify Computational Fields for Pervasive Systems
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems
Combining Simulation and Formal Tools for Developing Self-Organizing MAS
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
Activity Stream for pages tagged with
probabilistic model checking
RSS Feed
Tags:
Created by
N Pompei
on 08/06/2020 17:31