Translation to a Boolean Equation System (BES)

Loading...
Do curso por EIT Digital
System Validation (3): Requirements by modal formulas
5 ratings
Na lição
Advanced modal formulas

Conheça os instrutores

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