Об этом курсе

Недавно просмотрено: 2 406
Гибкие сроки
Назначьте сроки сдачи в соответствии со своим графиком.
Сертификат, ссылками на который можно делиться с другими людьми
Получите сертификат по завершении
100% онлайн
Начните сейчас и учитесь по собственному графику.
Средний уровень
Прибл. 4 часа на выполнение
Английский

Приобретаемые навыки

  • Bisimulation
  • Finite-State Machine
  • Transition System
Гибкие сроки
Назначьте сроки сдачи в соответствии со своим графиком.
Сертификат, ссылками на который можно делиться с другими людьми
Получите сертификат по завершении
100% онлайн
Начните сейчас и учитесь по собственному графику.
Средний уровень
Прибл. 4 часа на выполнение
Английский

Преподаватели

от партнера

Placeholder

EIT Digital

Программа курса: что вы изучите

Неделя
1

Неделя 1

1 ч. на завершение

Behavioural modelling

1 ч. на завершение
5 видео ((всего 27 мин.)), 1 материал для самостоятельного изучения, 1 тест
Неделя
2

Неделя 2

2 ч. на завершение

Basic behavioural equivalences

2 ч. на завершение
6 видео ((всего 42 мин.)), 2 материалов для самостоятельного изучения, 1 тест
Неделя
3

Неделя 3

1 ч. на завершение

More behavioural equivalences

1 ч. на завершение
7 видео ((всего 47 мин.))

Рецензии

Лучшие отзывы о курсе SYSTEM VALIDATION: AUTOMATA AND BEHAVIOURAL EQUIVALENCES

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

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

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