The alternating bit protocol

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

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

Bisimulation, Finite-State Machine, Transition System

Рецензии

4.4 (оценок: 175)

  • 5 stars
    65,71 %
  • 4 stars
    18,28 %
  • 3 stars
    10,85 %
  • 2 stars
    3,42 %
  • 1 star
    1,71 %

GJ

27 мая 2020 г.

Good course on Automata and behavioural equivalences.

The assessment questions are really challenging.

MT

18 окт. 2016 г.

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

Из урока

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

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

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