The definition of an automaton

Loading...
Do curso por EIT Digital
System Validation: Automata and behavioural equivalences
54 classificações
Na lição
Behavioural modelling

Conheça os instrutores

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

Explore nosso catálogo

Registre-se gratuitamente e obtenha recomendações, atualizações e ofertas personalizadas.