Master
2021/2022
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:
offline
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