このコースについて

3,412 最近の表示
共有できる証明書
修了時に証明書を取得
100%オンライン
自分のスケジュールですぐに学習を始めてください。
柔軟性のある期限
スケジュールに従って期限をリセットします。
中級レベル
約18時間で修了
英語
共有できる証明書
修了時に証明書を取得
100%オンライン
自分のスケジュールですぐに学習を始めてください。
柔軟性のある期限
スケジュールに従って期限をリセットします。
中級レベル
約18時間で修了
英語

提供:

Placeholder

EIT Digital

シラバス - 本コースの学習内容

1

1

4時間で修了

Module 1: Computational Tree Logic

4時間で修了
6件のビデオ (合計61分), 3 学習用教材, 4 個のテスト
6件のビデオ
Introduction13 分
Semantics of CTL13 分
Model Checking CTL9 分
The Until Operator12 分
The Always Operator9 分
3件の学習用教材
Script 1 and 2.110 分
Script 2.2 and 2.310 分
Script 2.420 分
4の練習問題
Formulate for yourself30 分
Test your understanding of CTL semantics30 分
Check your understanding of CTL30 分
Model checking eventually, always and until30 分
2

2

3時間で修了

Discrete Time Markov Chains

3時間で修了
5件のビデオ (合計49分), 2 学習用教材, 5 個のテスト
5件のビデオ
Evolution in Time13 分
Transient probabilities9 分
State classification5 分
Steady-state probabilities12 分
2件の学習用教材
Script 3.1 and 3.210 分
Script 3.310 分
5の練習問題
Evolution of DTMCs30 分
Compute transient probabilities10 分
Classification of DTMC states True or False?30 分
State classification30 分
Steady-state computation30 分
3

3

4時間で修了

Probabilistic Computational Tree Logic

4時間で修了
5件のビデオ (合計36分), 3 学習用教材, 6 個のテスト
5件のビデオ
Model checking and the Next operator7 分
Time-bounded Until6 分
Backwards computation4 分
Unbounded Until8 分
3件の学習用教材
Script: 4.1 and 4.210 分
Script: 4.3.1 and 4.3.225 分
Script 4.3.310 分
6の練習問題
PCTL Syntax30 分
Checking PCTL next30 分
Test your understanding of PCTL Until30 分
Checking time-bounded until16 分
Checking unbounded until10 分
Test your understanding of PCTL30 分
4

4

4時間で修了

Continuous Time Markov Chains

4時間で修了
5件のビデオ (合計57分), 2 学習用教材, 6 個のテスト
5件のビデオ
Generator matrix11 分
Steady-state probabilities11 分
Triple Modular Redundancy11 分
Uniformisation12 分
2件の学習用教材
Script: 5.1 and 5.220 分
Script: 5.315 分
6の練習問題
Generator matrix30 分
Test your understanding of CTMCs30 分
Steady state probability in CTMCs10 分
Identifying BSCCs12 分
Test your understanding of Uniformisation30 分
Uniformisation12 分

よくある質問

さらに質問がある場合は、受講者向けヘルプセンターにアクセスしてください。