Model checking the steady-state operator

Loading...
Do curso por EIT Digital
Quantitative Model Checking
20 ratings
EIT Digital
20 ratings
Na lição
Continuous Stochastic Logic

Conheça os instrutores

  • Anne Remke
    Anne Remke
    Prof. dr.
    Computer Science

Explore nosso catálogo

Registre-se gratuitamente e obtenha recomendações, atualizações e ofertas personalizadas.