The alternating bit protocol

video-placeholder
Loading...
シラバスを表示

学習するスキル

Bisimulation, Finite-State Machine, Transition System

レビュー

4.4 (173 件の評価)

  • 5 stars
    65.31%
  • 4 stars
    18.49%
  • 3 stars
    10.98%
  • 2 stars
    3.46%
  • 1 star
    1.73%

GJ

2020年5月27日

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

MT

2016年10月18日

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

コース一覧で検討

サインアップは無料です。今すぐサインアップして、パーソナライズされたお勧め、更新、サービスを利用しましょう。