Formalizing periodic scheduling

Loading...
来自 EIT 数字 的课程
Quantitative Formal Modeling and Worst-Case Performance Analysis
35 评分
从本节课中
Syntax and semantics

与讲师见面

  • Dr.ir. Pieter Cuijpers
    Dr.ir. Pieter Cuijpers
    Assistant Professor
    Mathematics and Computer Science
  • Anne Remke
    Anne Remke
    Prof. dr.
    Computer Science