Compositional design ; specify external behaviour

Loading...
来自 EIT 数字 的课程
System Validation (4): Modelling Software, Protocols, and other behaviour
6 评分
从本节课中
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