Model checking CSL

Loading...
From the course by EIT Digital
Quantitative Model Checking
23 оценки
EIT Digital
23 оценки
From the lesson
Continuous Stochastic Logic

Meet the Instructors

  • Anne Remke
    Anne Remke
    Prof. dr.
    Computer Science

Ознакомьтесь с нашим каталогом

Присоединяйтесь бесплатно и получайте персонализированные рекомендации, обновления и предложения.