|
|
ВА856652
Шкарупило, Вадим Вікторович.
Сценарії, методи та засоби формальної верифікації артефактів процесу проєктування систем критичного призначення [Текст] : монографія / Шкарупило В. В., Блінов І. В. ; НАН України, Ін-т проблем моделювання в енергетиці ім. Г. Є. Пухова, Ін-т електродинаміки. - Вінниця : Європейська наукова платформа, 2021. - 103 с. : рис., табл. - Бібліогр.: с. 90-103. - 55 прим. - ISBN 978-617-8037-55-0Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Блінов, Ігор Вікторович; Національна академія наук УкраїниІнститут проблем моделювання в енергетиці імені Г. Є. Пухова (Київ); Інститут електродинаміки (Київ)
Видання зберігається у :
Основний фонд
|
|