Language, failure, and completed trace equivalence

Loading...
来自 EIT Digital 的课程
System Validation: Automata and behavioural equivalences
52 个评分
从本节课中
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

探索我们的目录

免费加入并获得个性化推荐、更新和优惠。