Time-bounded Until

Loading...
Del curso dictado por EIT Digital
Quantitative Model Checking
20 ratings
EIT Digital
20 ratings
De la lección
Continuous Stochastic Logic

Conoce a los instructores

  • Anne Remke
    Anne Remke
    Prof. dr.
    Computer Science

Explora nuestro catálogo

Inscríbete de manera gratuita y obtén recomendaciones personalizadas, actualizaciones y ofertas.