Доклады |
1 | Хадеев А.С., Браништов С.А. Метод подстановок в формальном синтезе программ ПЛК по дискретно-событийным моделям / Труды 11-й Всероссийской школы-конференции молодых ученых «Управление большими системами» (УБС'2014, Арзамас). М.: ИПУ РАН, 2014. С. 1212-1230. | 2014 |