Causality, choice and concurrency (modeling patterns)

From the course by EIT Digital
Quantitative Formal Modeling and Worst-Case Performance Analysis
36 ratings
From the lesson
Modeling systems as token consumption/production systems

Meet the Instructors

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

Ознакомьтесь с нашим каталогом

Присоединяйтесь бесплатно и получайте персонализированные рекомендации, обновления и предложения.