Über diesen Kurs

5,880 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. 4 Stunden zum Abschließen
Englisch

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. 4 Stunden zum Abschließen
Englisch

von

Placeholder

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 behaviour30m
Woche
2

Woche 2

2 Stunden zum Abschließen

Basic behavioural equivalences

2 Stunden 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 equivalences30m
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.30m

Bewertungen

Top-Bewertungen von SYSTEM VALIDATION: AUTOMATA AND BEHAVIOURAL EQUIVALENCES

Alle Bewertungen anzeigen

Häufig gestellte Fragen

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