Trace equivalence

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

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

Bisimulation, Finite-State Machine, Transition System

Рецензии

4.4 (оценок: 160)
  • 5 stars
    64,37 %
  • 4 stars
    18,12 %
  • 3 stars
    11,87 %
  • 2 stars
    3,75 %
  • 1 star
    1,87 %
GJ
27 мая 2020 г.

Good course on Automata and behavioural equivalences.\n\nThe assessment questions are really challenging.

CD
13 дек. 2016 г.

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

Из урока
Basic behavioural equivalences

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

  • Placeholder

    Jan Friso Groote

    Full professor

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

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