Guidelines to avoid the state space explosion problem

Loading...
EIT Digital 의 강좌에서
System Validation (4): Modelling Software, Protocols, and other behaviour
9개의 평가
수업에서
Modelling guidelines
In this lecture you see various modelling techniques that can be used to keep the state space of your models small.

강사 만나기

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

Coursera 카탈로그 살펴보기

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