このコースについて

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

習得するスキル

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

提供:

EIT Digital  ロゴ

EIT Digital

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

1

1

1時間で修了

Behavioural modelling

1時間で修了
5件のビデオ (合計27分), 1 reading, 1 quiz
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 readings, 1 quiz
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 からの人気レビュー

すべてのレビューを見る

よくある質問

  • 講義と課題へのアクセスは、登録のタイプによって異なります。聴講モードでコースを受講すると、ほとんどのコース教材を無料で見ることができます。採点された課題にアクセスして修了証を取得するには、聴講中または聴講後に、修了証エクスペリエンスを購入する必要があります。聴講オプションが表示されない場合:

    • コースは聴講オプションを提供していない可能性があります。代わりに無料トライアルをお試しいただくか、学資援助を申請することができます。
    • コースは、聴講オプションを提供せずに「修了証なしフルコース」オプションを提供する場合があります。このオプションでは、すべてのコース教材が表示され、必須の評価を提出して、最終成績を取得することができます。この場合、修了証エクスペリエンスは購入できません。
  • 修了証を購入する際、コースのすべての教材(採点課題を含む)にアクセスできます。コースを完了すると、電子修了証が成果のページに追加されます。そこから修了証を印刷したり、LinkedInのプロフィールに追加したりできます。コースの内容の閲覧のみを希望する場合は、無料でコースを聴講できます。

  • 支払日から2週間後、または(開始直後のコースの場合は)コースの最初のセッションが開始されてから2週間後の、いずれかの遅い日付の期間までが全額の返金の対象となります。コースの修了証を取得した後は、2週間以内にコースを完了した場合でも返金することはできません。返金ポリシーをすべて表示します

  • はい。受講料の支払いが難しい受講生に、Coursera(コーセラ)は学資援助を提供しています。左側の[登録]ボタンの下にある[学資援助]のリンクをクリックして申請してください。申請書の入力を促すメッセージが表示され、承認されると通知が届きます。詳細

  • 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.

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