Master 2024/2025

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

Where: Faculty of Informatics, Mathematics, and Computer Science (HSE Nizhny Novgorod)

Mode of studies: offline

Open to: students of one campus

Instructors: Eduard Babkin

Master’s programme: Business Informatics

Language: Russian

ECTS credits: 3

Contact hours: 32