Behavioural equivalences

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

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

Bisimulation, Finite-State Machine, Transition System

Рецензии

4.4 (оценок: 177)

  • 5 stars
    65,53 %
  • 4 stars
    18,07 %
  • 3 stars
    11,29 %
  • 2 stars
    3,38 %
  • 1 star
    1,69 %

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!

Из урока

Basic behavioural equivalences

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

  • Placeholder

    Jan Friso Groote

    Full professor

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

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