For citations:
Shoshmina I.V. Distributed embedded control systems design with verification support. Modeling and Analysis of Information Systems. 2010;17(4):125-136. (In Russ.)
Shoshmina I.V. Distributed embedded control systems design with verification support. Modeling and Analysis of Information Systems. 2010;17(4):125-136. (In Russ.)