RUS  ENG
Полная версия
ПЕРСОНАЛИИ

Летичевский Александр Адольфович

Публикации в базе данных Math-Net.Ru

  1. Инкрементальный подход к технологии создания тестов для индустриальных проектов

    Модел. и анализ информ. систем, 21:6 (2014),  144–154
  2. Подход к автоматизации отладки поведенческих сценариев

    Модел. и анализ информ. систем, 21:6 (2014),  44–56
  3. Автоматизация создания верифицированных тестовых сценариев на основе гидов

    Модел. и анализ информ. систем, 20:6 (2013),  64–77
  4. Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений

    Тр. СПИИРАН, 26 (2013),  349–383
  5. Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов

    Модел. и анализ информ. систем, 19:6 (2012),  79–91
  6. Инсерционные машины

    Известия Кабардино-Балкарского научного центра РАН, 2011, № 1,  169–180
  7. Спецификация и моделирование распределенных систем с использованием базовых протоколов

    Известия Кабардино-Балкарского научного центра РАН, 2005, № 2,  58–67
  8. Towards an interactive semantics of nondeterministic concurrent programming languages

    Известия Кабардино-Балкарского научного центра РАН, 1998, № 1,  11–19
  9. О завершимости поиска инвариантных равенств в программах

    Докл. АН СССР, 299:6 (1988),  1307–1309
  10. Эффективность параллельных вычислений при ограниченных ресурсах

    Докл. АН СССР, 254:3 (1980),  527–530
  11. О максимальной десеквенции циклических операторов

    Докл. АН СССР, 242:4 (1978),  761–764
  12. Об одном классе групп с разрешимой проблемой эквивалентности автоматов

    Докл. АН СССР, 227:1 (1976),  36–38
  13. Функциональная эквивалентность автомата с заключительным состоянием

    Докл. АН СССР, 185:1 (1969),  58–60
  14. Эквивалентность автоматов с заключительным состоянием относительно свободной полугруппы с правым нулем

    Докл. АН СССР, 182:5 (1968),  1007–1009
  15. Расширение логических возможностей языка АЛГОЛ-60

    Ж. вычисл. матем. и матем. физ., 5:2 (1965),  369–372
  16. Автоматные разложения отображений свободных полугрупп

    Ж. вычисл. матем. и матем. физ., 2:3 (1962),  467–474
  17. Условия полноты для конечных автоматов

    Ж. вычисл. матем. и матем. физ., 1:4 (1961),  702–710

© МИАН, 2024