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