Master
2025/2026
Formal Methods of Model Validation and Verification
ID 999012
Type:
Compulsory course (Business Informatics)
Delivered by:
Department of Information Systems and Technologies
When:
2 year, 2, 3 module
Open to:
students of one campus
Instructors:
Eduard Babkin
Language:
Russian
ECTS credits:
6
Contact hours:
28