The wolf, the goat and the cabbage

From the course by EIT Digital
System Validation: Automata and behavioural equivalences
50 ratings
From the lesson
Behavioural modelling

Meet the Instructors

  • Jan Friso Groote
    Jan Friso Groote
    Full professor
    Mathematics and Computer Science, Eindhoven University of Technology

Ознакомьтесь с нашим каталогом

Присоединяйтесь бесплатно и получайте персонализированные рекомендации, обновления и предложения.