• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

News

PAIS Lab seminar: On the application of timed automata and UPAAL toolset to the verification of Software Defined Networks // U. Popesko

Uliana V. Popesko (PhD student, MSU) presented the talk on subject: On the application of timed automata and UPAAL toolset to the verification of Software Defined Networks.

more info and abstract...