| | Баранов, С. Н. Проверка корректности требований к программным системам, представленным атрибутными транзиционными системами [Текст] / С.Н. Баранов, В.А. Волков, А.В.и Годлевскай // Кибернетика и системный анализ : междунар.науч.-теоретич.журнал. — К., 2003. — 6. — С.3-12. |
| | |
|