An automaton as a model for behaviour

Loading...
Del curso dictado por EIT Digital
System Validation: Automata and behavioural equivalences
50 ratings
De la lección
Behavioural modelling

Conoce a los instructores

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