• Courses
  • Events
  • Internships
  • Journals
  • Products
  • Projects
  • Publications
  • Talks
  • Theses
    • XWikiGuest
      SSO login

    • Home
    • Page Index
    • User Index
    • Application Index

    • Global
    • Languages
      • Default Language
    • What's New
    • Wiki Index
  • Eng
  • Ita
  1. APICe
  2. 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

Partita IVA: 01131710376 — Copyright © 2008–2025 APICe@DISI – PRIVACY
Powered by XWiki 15.10.11