Model checking the steady-state operator

Loading...
Eye
EIT Digital
4.3 (29 ratings) | 3.3K Students Enrolled
View Syllabus

Reviews

4.3 (29 ratings)
  • 5 stars
    18 ratings
  • 4 stars
    7 ratings
  • 2 stars
    2 ratings
  • 1 star
    2 ratings
From the lesson
Continuous Stochastic Logic

Taught By

  • Anne Remke

    Anne Remke

    Prof. dr.

Explore our Catalog

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