Об этом курсе

Недавно просмотрено: 6,225
Сертификат, ссылками на который можно делиться с другими людьми
Получите сертификат по завершении
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

Посмотреть все отзывы

Часто задаваемые вопросы

Остались вопросы? Посетите Центр поддержки учащихся.