|
СТ |
Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке |
2009 |
Чеботарев А. Н. |
|
|
|
Кибернетика и системный анализ |
24.10.2009 |
|
СТ |
Проверка непротиворечивости формул языка L, представленных в дизъюнктивной нормальной форме I |
2005 |
Крывый С. Л., Чеботарев А. Н. |
|
|
|
Кибернетика и системный анализ |
20.12.2005 |
|
СТ |
Синтез алгоритма по его логической спецификации |
2004 |
Чеботарев А. Н. |
|
|
|
УСиМ |
29.03.2005 |
|
СТ |
Построение логической спецификации реактивного алгоритма |
2002 |
Чеботарев А. Н., Алистратов О. В. |
|
|
|
Проблемы программирования |
01.11.2002 |
|
СТ |
Теоретико-автоматный подход к верификации реактивных систем |
2001 |
Чеботарев А. Н. |
|
|
|
Кибернетика и системный анализ |
20.02.2002 |
|
СТ |
Индуктивный синтез автомата по спецификации в логическом языке |
2000 |
Капитонова Ю. В., Чеботарев А. Н. |
|
|
|
Кибернетика и системный анализ |
07.03.2001 |
|
СТ |
Об одном способе спецификации реактивных алгоритмов в логическом языке первого порядка |
2000 |
Чеботарев А. Н. |
|
|
|
Проблемы программирования |
10.06.2000 |
|
СТ |
Метод раздельного резольвирования для проверки выполнимости формул языка |
1998 |
Чеботарев А. Н. |
|
|
|
Кибернетика и системный анализ |
13.03.1999 |
|
СТ |
Расширение логического языка спецификации автоматов и проблема синтеза |
1996 |
Чеботарев А. Н. |
|
|
|
Кибернетика и системный анализ |
18.02.1997 |
|
СТ |
Об одном подходе к функциональной спецификации автоматных систем.II |
1993 |
Чеботарев А. Н. |
|
|
|
Кибернетика и системный анализ |
24.12.1993 |
