Über diesen Kurs

6,952 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

  • Access to lectures and assignments depends on your type of enrollment. If you take a course in audit mode, you will be able to see most course materials for free. To access graded assignments and to earn a Certificate, you will need to purchase the Certificate experience, during or after your audit. If you don't see the audit option:

    • The course may not offer an audit option. You can try a Free Trial instead, or apply for Financial Aid.
    • The course may offer 'Full Course, No Certificate' instead. This option lets you see all course materials, submit required assessments, and get a final grade. This also means that you will not be able to purchase a Certificate experience.
  • 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..