Hennessy-Milner logic

Loading...
来自 EIT Digital 的课程
System Validation (3): Requirements by modal formulas
7 个评分
从本节课中
Basic modal formulas

与讲师见面

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

探索我们的目录

免费加入并获得个性化推荐、更新和优惠。