Über diesen Kurs

5,755 kürzliche Aufrufe
Zertifikat zur Vorlage
Erhalten Sie nach Abschluss ein Zertifikat
100 % online
Beginnen Sie sofort und lernen Sie in Ihrem eigenen Tempo.
Flexible Fristen
Setzen Sie Fristen gemäß Ihrem Zeitplan zurück.
Stufe „Mittel“
Ca. 3 Stunden zum Abschließen
Englisch
Untertitel: Englisch, Vietnamesisch

Kompetenzen, die Sie erwerben

BisimulationFinite-State MachineTransition System
Zertifikat zur Vorlage
Erhalten Sie nach Abschluss ein Zertifikat
100 % online
Beginnen Sie sofort und lernen Sie in Ihrem eigenen Tempo.
Flexible Fristen
Setzen Sie Fristen gemäß Ihrem Zeitplan zurück.
Stufe „Mittel“
Ca. 3 Stunden zum Abschließen
Englisch
Untertitel: Englisch, Vietnamesisch

von

EIT Digital -Logo

EIT Digital

Lehrplan - Was Sie in diesem Kurs lernen werden

Woche
1

Woche 1

1 Stunde zum Abschließen

Behavioural modelling

1 Stunde zum Abschließen
5 Videos (Gesamt 27 min), 1 Lektüre, 1 Quiz
5 Videos
An automaton as a model for behaviour6m
Non-deterministic behaviour8m
The definition of an automaton5m
The wolf, the goat and the cabbage5m
1 Lektüre
Book exercises15m
1 praktische Übung
Automata to model behaviour10m
Woche
2

Woche 2

1 Stunde zum Abschließen

Basic behavioural equivalences

1 Stunde zum Abschließen
6 Videos (Gesamt 42 min), 2 Lektüren, 1 Quiz
6 Videos
Strong bisimulation9m
Trace equivalence6m
The internal or τ -action.5m
Branching bisimulation8m
Rooted branching bisimulation6m
2 Lektüren
Book exercises15m
Book exercises15m
1 praktische Übung
Basic behavioural equivalences12m
Woche
3

Woche 3

1 Stunde zum Abschließen

More behavioural equivalences

1 Stunde zum Abschließen
7 Videos (Gesamt 47 min)
7 Videos
Divergence preserving branching bisimulation3m
Weak trace equivalence2m
Weak bisimulation4m
Language, failure, and completed trace equivalence10m
When to use which behavioural equivalence6m
Transition systems with data, time and probabilities5m
1 praktische Übung
More behavioural equivalences.10m

Bewertungen

Top-Bewertungen von SYSTEM VALIDATION: AUTOMATA AND BEHAVIOURAL EQUIVALENCES

Alle Bewertungen anzeigen

Häufig gestellte Fragen

  • Der Zugang zu Vorlesungen und Aufgaben hängt von der Art Ihrer Anmeldung ab. Wenn Sie einen Kurs im Gastmodus belegen, können Sie die meisten Kursmaterialien kostenlos einsehen. Um auf benotete Aufgaben zuzugreifen und ein Zertifikat zu erhalten, müssen Sie während oder nach Ihrer Gastphase das Zertifikat erwerben. Wenn Sie die Gastoption nicht sehen:

    • Der Kurs bietet möglicherweise keine Gastoption an. Sie können stattdessen eine kostenlose Testversion ausprobieren oder finanzielle Unterstützung beantragen.
    • Der Kurs kann stattdessen "Vollständiger Kurs ohne Zertifikat" anbieten. Mit dieser Option können Sie alle Kursmaterialien einsehen, die erforderlichen Aufgaben einreichen und eine Endnote erhalten. Dies bedeutet auch, dass Sie kein Zertifikat erwerben können.
  • Wenn Sie ein Zertifikat erwerben, erhalten Sie Zugriff auf alle Kursmaterialien, einschließlich bewerteter Aufgaben. Nach Abschluss des Kurses wird Ihr elektronisches Zertifikat zu Ihrer Seite „Errungenschaften“ hinzugefügt – von dort können Sie Ihr Zertifikat ausdrucken oder es zu Ihrem LinkedIn Profil hinzufügen. Wenn Sie nur lesen und den Inhalt des Kurses anzeigen möchten, können Sie kostenlos als Gast an dem Kurs teilnehmen.

  • Sie haben bis zu zwei Wochen nach Ihrem Zahlungsdatum beziehungsweise bis zu zwei Wochen nach Beginn der ersten Kurseinheit (bei Kursen, die gerade gestartet sind) Anspruch auf eine volle Rückerstattung, je nachdem, was später eintritt. Nach dem Erwerb eines Kurszertifikats besteht kein Anrecht mehr auf Rückerstattung, auch dann nicht, wenn Sie den Kurs innerhalb des Zeitraums von zwei Wochen abgeschlossen haben. Lesen Sie unsere vollständige Rückerstattungsrichtlinie.

  • Ja, Coursera bietet Kursteilnehmern, die die Gebühr nicht bezahlen können, finanzielle Hilfe an. Sie beantragen diese Hilfe, indem Sie auf den entsprechenden Link links unter der Schaltfläche "Anmelden" klicken. Sie werden dazu aufgefordert, ein Antragsformular auszufüllen, und Sie werden benachrichtigt, wenn Ihr Antrag bewilligt wird. Mehr erfahren.

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

Haben Sie weitere Fragen? Besuchen Sie das Hilfe-Center für Teiln..