Regular formulas

From the course by EIT Digital
System Validation (3): Requirements by modal formulas
8 ratings
From the lesson
Basic modal formulas

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.