Model checking and Time-bounded next

Loading...
From the course by EIT Digital
Quantitative Model Checking
14 ratings
EIT Digital

Quantitative Model Checking

14 ratings
From the lesson
Continuous Stochastic Logic

Meet the Instructors

  • Anne Remke
    Anne Remke
    Prof. dr.
    Computer Science
Coursera provides universal access to the world’s best education, partnering with top universities and organizations to offer courses online.
© 2017 Coursera Inc. All rights reserved.
Download on the App StoreGet it on Google Play