М.А. Кириченко

M.A. Kirichenko

1 статья 2017

Наукоемкие технологии 1

2017

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