Avoid parallelism among components

Loading...
En provenance du cours de EIT Digital
System Validation (4): Modelling Software, Protocols, and other behaviour
8 notes
À partir de la leçon
Modelling guidelines
In this lecture you see various modelling techniques that can be used to keep the state space of your models small.

Rencontrer les enseignants

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

Explorer notre catalogue

Rejoignez-nous gratuitement et obtenez des recommendations, des mises à jour et des offres personnalisées.