Model checking the steady-state operator

From the course by EIT 数字
Quantitative Model Checking
20 ratings
EIT 数字
20 ratings
From the lesson
Continuous Stochastic Logic

Meet the Instructors

  • Anne Remke
    Anne Remke
    Prof. dr.
    Computer Science

Explore our Catalog

Join for free and get personalized recommendations, updates and offers.