Master
2022/2023
Formal Methods for Communication Protocols and Services Verification and Testing
Type:
Compulsory course (System Programming)
Area of studies:
Software Engineering
Where:
Faculty of Computer Science
When:
2 year, 1, 2 module
Mode of studies:
distance learning
Online hours:
40
Open to:
students of all HSE University campuses
Instructors:
Nina V. Evtushenko
Master’s programme:
System Programming
Language:
Russian
ECTS credits:
8
Contact hours:
44