About this Course

4,645 recent views
Flexible deadlines
Reset deadlines in accordance to your schedule.
Shareable Certificate
Earn a Certificate upon completion
100% online
Start instantly and learn at your own schedule.
Intermediate Level
Approx. 4 hours to complete
English

Skills you will gain

BisimulationFinite-State MachineTransition System
Flexible deadlines
Reset deadlines in accordance to your schedule.
Shareable Certificate
Earn a Certificate upon completion
100% online
Start instantly and learn at your own schedule.
Intermediate Level
Approx. 4 hours to complete
English

Offered by

Placeholder

EIT Digital

Syllabus - What you will learn from this course

Week
1

Week 1

1 hour to complete

Behavioural modelling

1 hour to complete
5 videos (Total 27 min), 1 reading, 1 quiz
Week
2

Week 2

2 hours to complete

Basic behavioural equivalences

2 hours to complete
6 videos (Total 42 min), 2 readings, 1 quiz
Week
3

Week 3

1 hour to complete

More behavioural equivalences

1 hour to complete
7 videos (Total 47 min)

Reviews

TOP REVIEWS FROM SYSTEM VALIDATION: AUTOMATA AND BEHAVIOURAL EQUIVALENCES

View all reviews

Frequently Asked Questions

More questions? Visit the Learner Help Center.