Заседание петербургского семинара по программной инженерии и верификации

28 октября в 18−00 состоится очередное заседание петербургского семинара по программной инженерии и верификации

28 октября в 18-00 в а. 121 9-го учебного корпуса состоится очередное заседание петербургского семинара по программной инженерии и верификации. В программе:

18:00 - 18:50. Моисеев М.Ю., Захаров А.В. "Static Analysis Method for Deadlock Detection in SystemC Designs"