• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Master 2025/2026

Formal Methods of Model Validation and Verification

Type: Compulsory course (Business Informatics)
Delivered by: Department of Information Systems and Technologies
When: 2 year, 2 module
Open to: students of one campus
Instructors: Eduard Babkin
Language: Russian