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.