Behavioural equivalences

video-placeholder
Loading...
Просмотреть программу курса

Получаемые навыки

Bisimulation, Finite-State Machine, Transition System

Рецензии

4.4 (оценок: 158)
  • 5 stars
    63.92%
  • 4 stars
    18.35%
  • 3 stars
    12.02%
  • 2 stars
    3.79%
  • 1 star
    1.89%
MT
18 окт. 2016 г.

Very interesting and a good fine-tuning experience to my brain relating to systems! Awesome!

CD
13 дек. 2016 г.

Although superficial, it is a very good MOOC for introducing LTS testing.

Из урока
Basic behavioural equivalences

Преподаватели

  • Placeholder

    Jan Friso Groote

    Full professor

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

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