|
СТ |
Спецификация систем с помо ью базовых протоколов |
2005 |
Летичевский А. Ад., Капитонова Ю. В., Волков В. А., Летичевский А. А., Баранов С. Н., Котляров В. П., Вейгерт Т. |
|
|
|
Кибернетика и системный анализ |
20.12.2005 |
|
СТ |
Проверка корректности требований к программным системам, представленным атрибутными транзиционными системами |
2003 |
Баранов С. Н., Волков В. А., Годлевский А. Б., Капитонова Ю. В., Летичевский А. А. |
|
|
|
Кибернетика и системный анализ |
13.02.2004 |
|
СТ |
Дедуктивные средства системы алгебраического программирования |
2000 |
Капитонова Ю. В., Летичевский А. А., Волков В. А. |
|
|
|
Кибернетика и системный анализ |
22.04.2000 |
