課程信息

5,440 次近期查看
可分享的證書
完成後獲得證書
100% 在線
立即開始,按照自己的計劃學習。
可靈活調整截止日期
根據您的日程表重置截止日期。
中級
完成時間大約為3 小時
英語(English)
字幕:英語(English), 越南語

您將獲得的技能

BisimulationFinite-State MachineTransition System
可分享的證書
完成後獲得證書
100% 在線
立即開始,按照自己的計劃學習。
可靈活調整截止日期
根據您的日程表重置截止日期。
中級
完成時間大約為3 小時
英語(English)
字幕:英語(English), 越南語

提供方

EIT 数字  徽標

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 behaviour10分鐘
2

2

完成時間為 1 小時

Basic behavioural equivalences

完成時間為 1 小時
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 equivalences12分鐘
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.10分鐘

審閱

來自SYSTEM VALIDATION: AUTOMATA AND BEHAVIOURAL EQUIVALENCES的熱門評論

查看所有評論

常見問題

  • Access to lectures and assignments depends on your type of enrollment. If you take a course in audit mode, you will be able to see most course materials for free. To access graded assignments and to earn a Certificate, you will need to purchase the Certificate experience, during or after your audit. If you don't see the audit option:

    • The course may not offer an audit option. You can try a Free Trial instead, or apply for Financial Aid.

    • The course may offer 'Full Course, No Certificate' instead. This option lets you see all course materials, submit required assessments, and get a final grade. This also means that you will not be able to purchase a Certificate experience.

  • When you purchase a Certificate you get access to all course materials, including graded assignments. Upon completing the course, your electronic Certificate will be added to your Accomplishments page - from there, you can print your Certificate or add it to your LinkedIn profile. If you only want to read and view the course content, you can audit the course for free.

  • You will be eligible for a full refund until two weeks after your payment date, or (for courses that have just launched) until two weeks after the first session of the course begins, whichever is later. You cannot receive a refund once you’ve earned a Course Certificate, even if you complete the course within the two-week refund period. See our full refund policy.

  • Yes, Coursera provides financial aid to learners who cannot afford the fee. Apply for it by clicking on the Financial Aid link beneath the "Enroll" button on the left. You’ll be prompted to complete an application and will be notified if you are approved. Learn more.

  • Please look at the reading material of the introduction of this course (first week) and download the pdf on the Blended Master Programme Overview for more information.

還有其他問題嗎?請訪問 學生幫助中心