Push versus poll

Loading...
From the course by EIT 数字
System Validation (4): Modelling Software, Protocols, and other behaviour
8 ratings
From the lesson
Modelling guidelines
In this lecture you see various modelling techniques that can be used to keep the state space of your models small.

Meet the Instructors

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

Explore our Catalog

Join for free and get personalized recommendations, updates and offers.