Compositional design; specify external behaviour

Loading...
來自 EIT Digital 的課程
System Validation (4): Modelling Software, Protocols, and other behaviour
8 個評分
從本節課中
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

探索我們的目錄

免費加入並獲得個性化推薦、更新和優惠。