Н.А. Стариковская

N.A. Starikovskaya

3 статьи 2012–2017

2017

Подходы к формальной верификации моделей подсистем коммутации микропроцессоров Наукоемкие технологии, №1 за 2017 г. С. 3-8

2012

Алгоритм оценки интероперерабельности систем относительно заявленных требований и его практическая реализация на примере радиотехнической системы Информационно-измерительные и управляющие системы, №9 за 2012 г. С. 67-76
Алгоритм оценки влияния характеристик систем на степень их открытости Наукоемкие технологии, №5 за 2012 г. С. 30-39