Behavioural equivalences

video-placeholder
Loading...
강의 계획서 보기

배우게 될 기술

Bisimulation, Finite-State Machine, Transition System

검토

4.4(159개의 평가)
  • 5 stars
    64.15%
  • 4 stars
    18.23%
  • 3 stars
    11.94%
  • 2 stars
    3.77%
  • 1 star
    1.88%
GJ
2020년 5월 27일

Good course on Automata and behavioural equivalences.\n\nThe assessment questions are really challenging.

CD
2016년 12월 13일

Although superficial, it is a very good MOOC for introducing LTS testing.

수업에서
Basic behavioural equivalences

강사:

  • Placeholder

    Jan Friso Groote

    Full professor

Coursera 카탈로그 살펴보기

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