И.А. Стотланд

2017

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