Identities for HM-logic

Loading...
Del curso dictado por EIT Digital
System Validation (3): Requirements by modal formulas
6 ratings
De la lección
Basic modal formulas

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.