課程信息

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

您將獲得的技能

BisimulationFinite-State MachineTransition 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的熱門評論

查看所有評論

常見問題

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