Strong bisimulation

Loading...
來自 EIT Digital 的課程
System Validation: Automata and behavioural equivalences
59 個評分
從本節課中
Basic behavioural equivalences

與講師見面

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

探索我們的目錄

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