Master
2023/2024
Formal Methods of Model Validation and Verification
Type:
Compulsory course (Business Informatics)
Area of studies:
Business Informatics
Delivered by:
Department of Information Systems and Technologies
When:
2 year, 2 module
Mode of studies:
offline
Open to:
students of all HSE University campuses
Instructors:
Eduard Babkin
Master’s programme:
Business Informatics
Language:
Russian
ECTS credits:
3
Contact hours:
32