Инд. авторы:	Журавлев С.С., Окольнишников В.В., Шакиров С.Р.
Заглавие:	Способ верификации прикладного программного обеспечения АСУ ТП
Библ. ссылка:	Журавлев С.С., Окольнишников В.В., Шакиров С.Р. Способ верификации прикладного программного обеспечения АСУ ТП // Марчуковские научные чтения – 2019: Тезисы Международной конференции «Актуальные проблемы вычислительной и прикладной математики» (Новосибирск, 01.07-05.07.2019). - 2019. - Новосибирск: ИВМиМГ СО РАН. - С.138-138. - ISBN: 978-5-4437-0913-0.
Внешние системы:	DOI: 10.24411/9999-017A-2019-10278; РИНЦ: 41897595;
Издано:	2019
Физ. характеристика:	с.138-138
Конференция:	Название: Международная конференция «Актуальные проблемы вычислительной и прикладной математики» (Марчуковские научные чтения – 2019) Аббревиатура: АПВПМ-19 Город: Новосибирск Страна: Россия Даты проведения: 2019-07-01 - 2019-07-05 Ссылка: http://conf.nsc.ru/amca2019/ru
Цитирование:	1. Журавлев С.С., Рудометов С.В., Окольнишников В.В., Шакиров С.Р. Применение модельно- ориентированного проектирования к созданию АСУ ТП опасных промышленных объектов // Вестн. НГУ. Серия: Информационные технологии. 2018. Т. 16, № 4. С. 56-67