• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Master 2020/2021

Formal Methods for Communication Protocols and Services Verification and Testing

Type: Compulsory course (System Programming)
Area of studies: Software Engineering
When: 2 year, 1, 2 module
Mode of studies: offline
Instructors: Nina V. Evtushenko
Master’s programme: System Programming
Language: Russian
ECTS credits: 8
Contact hours: 56