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

Чупилко М.М. Автоматизация системного тестирования моделей аппаратуры на основе формальных спецификаций. Труды Института системного программирования РАН. 2010;18.

For citation:

Chupilko. M.M. Formal specifications-based automation of system testing of hardware designs. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2010;18. (In Russ.)