Проверка корректности требований к программным системам, представленным атрибутными транзиционными системами / С.Н. Баранов, В.А. Волков, А.В. и др. Годлевскай // Кибернетика и системный анализ. – 2003. – № 6. – С.3–12.
Складова документа:
Кибернетика и системный анализ : международный научно-теоретический журнал. № 6 / НАН Украины, Ин-т кибернетики им. В.М. Глушкова // Кибернетика и системный анализ. – Киев, 2003