• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Новости

Семинар лаборатории ПОИС: Time and Petri Nets - A Way for Modeling and Verification of Time-dependent Concurrent Systems // L. Popova-Zeugmann

В понедельник (16-го сентября) состоялось очередное заседание лаборатории ПОИС.
С докладом по теме Time and Petri Nets - A Way for Modeling and Verification of Time-dependent Concurrent Systems выступила Лушка Попова-Цойгманн (Louchka Popova-Zeugmann), профессор Университета Гумбольта в Берлине.

подробнее...

В понедельник (16-го сентября) состоялось очередное заседание лаборатории ПОИС.
С докладом по теме Time and Petri Nets - A Way for Modeling and Verification of Time-dependent Concurrent Systems выступила Лушка Попова-Цойгманн (Louchka Popova-Zeugmann), профессор Университета Гумбольта в Берлине.

подробнее...