Ковалев, И., Сарамуд M., Лосев, В., & Колташев, А. (2021). Метод и инструментарий верификации кроссплатформенного бортового программного обеспечения. Современные инновации, системы и технологии - Modern Innovations, Systems and Technologies, 1(2), 22–33. https://doi.org/10.47813/2782-2818-2021-1-2-22-33