Welcome

video-placeholder
Loading...
View Syllabus

Skills You'll Learn

Bisimulation, Finite-State Machine, Transition System

Reviews

4.4 (160 ratings)
  • 5 stars
    64.37%
  • 4 stars
    18.12%
  • 3 stars
    11.87%
  • 2 stars
    3.75%
  • 1 star
    1.87%

GJ

May 27, 2020

Filled StarFilled StarFilled StarFilled StarFilled Star

Good course on Automata and behavioural equivalences.\n\nThe assessment questions are really challenging.

CD

Dec 13, 2016

Filled StarFilled StarFilled StarFilled StarFilled Star

Although superficial, it is a very good MOOC for introducing LTS testing.

From the lesson

Behavioural modelling

Taught By

  • Placeholder

    Jan Friso Groote

    Full professor

Explore our Catalog

Join for free and get personalized recommendations, updates and offers.