• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
2024/2025

Formal Methods of Model Validation and Verification

Type: Mago-Lego
Delivered by: Department of Information Systems and Technologies
Open to: students of one campus
Instructors: Eduard Babkin
Language: Russian
ECTS credits: 3
Contact hours: 32