Peterson's algorithm revisited

Loading...
Из курса от партнера EIT Digital
System Validation (3): Requirements by modal formulas
8 оценки
Из урока
Advanced modal formulas

Познакомьтесь с преподавателями

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

Ознакомьтесь с нашим каталогом

Присоединяйтесь бесплатно и получайте персонализированные рекомендации, обновления и предложения.