Behavioural equivalences

Loading...
EIT Digital 의 강좌에서
System Validation: Automata and behavioural equivalences
64개의 평가
수업에서
Basic behavioural equivalences

강사 만나기

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

Coursera 카탈로그 살펴보기

무료로 참여해 맞춤화된 추천, 업데이트 및 제안을 받아보세요.