Для цитирования:
Фролов П.В. Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров. Труды Института системного программирования РАН. 2019;31(3):59-66. https://doi.org/10.15514/ISPRAS-2019-31(3)-5
For citation:
Frolov P.V. Approach to test program development for multilevel verification. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2019;31(3):59-66. https://doi.org/10.15514/ISPRAS-2019-31(3)-5