このコースについて

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

習得するスキル

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

提供:

Placeholder

EIT Digital

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

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 からの人気レビュー

すべてのレビューを見る

よくある質問

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