このコースについて

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

習得するスキル

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

提供:

Placeholder

EIT Digital

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

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

すべてのレビューを見る

よくある質問

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