Для цитирования:
Шошмина И.В. Проектирование программных бортовых систем управления с поддержкой верификации. Моделирование и анализ информационных систем. 2010;17(4):125-136.
For citation:
Shoshmina I.V. Distributed embedded control systems design with verification support. Modeling and Analysis of Information Systems. 2010;17(4):125-136. (In Russ.)