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

В понедельник, 17-го марта , Ульяна Владиславовна Попеско (аспирант Московского государственного университета имени Ломоносова) представила доклад на тему: On the application of timed automata and UPAAL toolset to the verification of Software Defined Networks.