Formal Methods of Model Validation and Verification

2023/2024

Academic Year

RUS

Instruction in Russian

3

ECTS credits

Delivered at:

Department of Information Systems and Technologies (Faculty of Informatics, Mathematics, and Computer Science (HSE Nizhny Novgorod))

Course type:

Compulsory course

When:

2 year, 2 module

Instructor

Babkin, Eduard

Программа дисциплины

Аннотация

В этом учебном курсе студенты изучают общие принципы моделирования, анализа и дизайна сложных систем различной природы на основе единых принципов системного подхода и современных программных технологий, применяемых для многоаспектного моделирования технических и гибридных систем.