课程信息

1,884 次近期查看
可灵活调整截止日期
根据您的日程表重置截止日期。
可分享的证书
完成后获得证书
100% 在线
立即开始,按照自己的计划学习。
中级
完成时间大约为4 小时
英语(English)

您将获得的技能

  • Bisimulation
  • Finite-State Machine
  • Transition System
可灵活调整截止日期
根据您的日程表重置截止日期。
可分享的证书
完成后获得证书
100% 在线
立即开始,按照自己的计划学习。
中级
完成时间大约为4 小时
英语(English)

提供方

Placeholder

EIT 数字

授课大纲 - 您将从这门课程中学到什么

1

1

完成时间为 1 小时

Behavioural modelling

完成时间为 1 小时
5 个视频 (总计 27 分钟), 1 个阅读材料, 1 个测验
2

2

完成时间为 2 小时

Basic behavioural equivalences

完成时间为 2 小时
6 个视频 (总计 42 分钟), 2 个阅读材料, 1 个测验
3

3

完成时间为 1 小时

More behavioural equivalences

完成时间为 1 小时
7 个视频 (总计 47 分钟)

审阅

来自SYSTEM VALIDATION: AUTOMATA AND BEHAVIOURAL EQUIVALENCES的热门评论

查看所有评论

常见问题

还有其他问题吗?请访问 学生帮助中心