The alternating bit protocol

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.

Из урока
More behavioural equivalences
This module elaborates on the equivalences provided earlier. It is shown how it can be applied, especially to the alternating bit protocol. Furthermore, a number of additional equivalences are introduced.

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

  • Placeholder

    Jan Friso Groote

    Full professor

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

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