Guidelines to avoid the state space explosion problem

Del curso dictado por EIT Digital
System Validation (4): Modelling Software, Protocols, and other behaviour
9 calificaciones
De la lección
Modelling guidelines
In this lecture you see various modelling techniques that can be used to keep the state space of your models small.

Conoce a los instructores

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

Explora nuestro catálogo

Inscríbete de manera gratuita y obtén recomendaciones personalizadas, actualizaciones y ofertas.