Бібліографія
Лисенко С. М. Формальні методи розроблення критичних систем : навч. посіб. / Сергій Миколайович Лисенко, Вячеслав Сергійович Харченко, Дмитро Миколайович Медзатий ; Хмельн. нац. ун-т. – Хмельницький : ХНУ, 2024. – 122 с. : табл.
Анотація
Розглянуті формальні методи розробки та супроводу систем критичного призначення (космічна галузь, атомна енергетика, авіація, хімічна промисловість, медицина) шляхом аналізу моделей, характерною ознакою яких є автоматизація процедури застосування.
