When to use which behavioural equivalence

Loading...
來自 EIT Digital 的課程
System Validation: Automata and behavioural equivalences
59 個評分
從本節課中
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.

與講師見面

  • Jan Friso Groote
    Jan Friso Groote
    Full professor
    Mathematics and Computer Science, Eindhoven University of Technology

探索我們的目錄

免費加入並獲得個性化推薦、更新和優惠。