课程信息

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

您将获得的技能

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

提供方

Placeholder

EIT 数字

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

1

1

完成时间为 1 小时

Behavioural modelling

完成时间为 1 小时
5 个视频 (总计 27 分钟), 1 个阅读材料, 1 个测验
5 个视频
Welcome1分钟
An automaton as a model for behaviour6分钟
Non-deterministic behaviour8分钟
The definition of an automaton5分钟
The wolf, the goat and the cabbage5分钟
1 个阅读材料
Book exercises15分钟
1 个练习
Automata to model behaviour30分钟
2

2

完成时间为 2 小时

Basic behavioural equivalences

完成时间为 2 小时
6 个视频 (总计 42 分钟), 2 个阅读材料, 1 个测验
6 个视频
Strong bisimulation9分钟
Trace equivalence6分钟
The internal or τ -action.5分钟
Branching bisimulation8分钟
Rooted branching bisimulation6分钟
2 个阅读材料
Book exercises15分钟
Book exercises15分钟
1 个练习
Basic behavioural equivalences30分钟
3

3

完成时间为 1 小时

More behavioural equivalences

完成时间为 1 小时
7 个视频 (总计 47 分钟)
7 个视频
Divergence preserving branching bisimulation3分钟
Weak trace equivalence2分钟
Weak bisimulation4分钟
Language, failure, and completed trace equivalence10分钟
When to use which behavioural equivalence6分钟
Transition systems with data, time and probabilities5分钟
1 个练习
More behavioural equivalences.30分钟

审阅

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

查看所有评论

常见问题

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