| |
Туркин, И. Б.
Формальная верификация программного обеспечения для автоматизации испытаний систем космических аппаратов [Текст] / И. Б. Туркин, Б. Б. Михнич
// Інженерія програмного забезпечення. – 2010. – № 1. – С. 15-23.
Рассматриваются особенности применения технологии Windows Workflow Foundation при разработке программного обеспечения для автоматизации стендовых испытаний подсистем космических аппаратов. |
