Translation to a Boolean Equation System (BES)

Loading...
From the course by EIT Digital
System Validation (3): Requirements by modal formulas
4 ratings
EIT Digital

System Validation (3): Requirements by modal formulas

4 ratings
From the lesson
Advanced modal formulas

Meet the Instructors

  • Jan Friso Groote
    Jan Friso Groote
    Full professor
    Mathematics and Computer Science, Eindhoven University of Technology
Coursera provides universal access to the world’s best education, partnering with top universities and organizations to offer courses online.
© 2017 Coursera Inc. All rights reserved.
Download on the App StoreGet it on Google Play