Для цитирования:

Камкин А.C., Чупилко М.M. Механизмы поддержки функционального тестирования моделей аппаратуры на разных уровнях абстракции. Труды Института системного программирования РАН. 2011;20.

For citation:

Kamkin A.S., Chupilko M.M. Mechanisms for functional testing of hardware models at different levels of abstraction. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2011;20. (In Russ.)