An automaton as a model for behaviour

Loading...
来自 EIT 数字 的课程
System Validation: Automata and behavioural equivalences
50 评分
从本节课中
Behavioural modelling

与讲师见面

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