Гаранина Наталья Олеговна

Гаранина Наталья Олеговна
Гаранина НатальяОлеговна
Россия, Новосибирск
Степень
Область научных интересов
Место работы и должность
  • Институт систем информатики им. А.П. Ершова СО РАН — научный сотрудник
Адрес электронной почты
Список статей в журнале СИ:
Гаранина Н.О. Верификация мультиагентной модели протокола скользящего окна // Системная информатика. — . — № 1.  — С. 35-48
Гаранина Н.О. Сидорова Е.А. Метод верификации семейства мультиагентных систем разрешения неоднозначности // Системная информатика. — . — № 8.  — С. 1-10
Гаранина Н.О. Зюбин В.Е. Лях Т.В. Онтологический подход к организации шаблонов требований в рамках системы поддержки формальной верификации распределенных программных систем // Системная информатика. — . — № 9.  — С. 111-132
Гаранина Н.О. Ануреев И.С. Зюбин В.Е. Constructing Verification-Oriented Domain-Specific Process Ontologies // Системная информатика. — . — № 14.  — С. 19-30
Гаранина Н.О. Ануреев И.С. Зюбин В.Е. Розов А.С. Лях Т.В. Горлач С.П. Рассуждения о программируемых логических контроллерах // Системная информатика. — . — № 17.  — С. 33-42
Гаранина Н.О. Старолетов С.М. Зюбин В.Е. Ануреев И.С. Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 // Системная информатика. — . — № 22.  — С. 21-30
Гаранина Н.О. Точный тест планируемости для систем реального времени с абстрактным планировщиком // Системная информатика. — . — № 25.  — С. 29-38