Расширенный поиск

   Математическая модель взаимных блокировок. Корректное использование исключающих семафоров / Свирин Ил. С., Силин П. А., Сюзев В. В., Зарецкая Е. А. // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2012. - Спец. вып. Моделирование и идентификация. - С. 112-121.

Силин П. А., Свирин Ил. С., Сюзев В. В.
   Математическая модель многопоточной программы и правила безопасного многопоточного программирования / Силин П. А., Свирин Ил. С., Сюзев В. В. // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2012. - Спец. вып. Моделирование и идентификация. - С. 95-111.