ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Публикационная активность

(сведения по итогам 2016 г.)
2-летний импакт-фактор РИНЦ: 0,493
2-летний импакт-фактор РИНЦ без самоцитирования: 0,389
Двухлетний импакт-фактор РИНЦ с учетом цитирования из всех
источников: 0,732
5-летний импакт-фактор РИНЦ: 0,364
5-летний импакт-фактор РИНЦ без самоцитирования: 0,303
Суммарное число цитирований журнала в РИНЦ: 5022
Пятилетний индекс Херфиндаля по цитирующим журналам: 355
Индекс Херфиндаля по организациям авторов: 499
Десятилетний индекс Хирша: 11
Место в общем рейтинге SCIENCE INDEX за 2016 год: 304
Место в рейтинге SCIENCE INDEX за 2016 год по тематике "Автоматика. Вычислительная техника": 11

Больше данных по публикационной активности нашего журнале за 2008-2016 гг. на сайте РИНЦ

Вход


Забыли пароль? / Регистрация

Добавить в закладки

Следующий номер на сайте

4
Ожидается:
16 Декабря 2017

Ключевое слово: верификация

  1. Общая схема верификации утверждений Р-логики с неизвестными параметрами
  2. Авторы статьи: Еловков Д.Д.

  3. Комплексная верификация результатов прогнозирования характеристик транспортной системы
  4. Авторы статьи: Арефьев И.Б., Клавдиев А.А., Сулима А.А.

  5. Развитие системы стохастического тестирования микропроцессоров INTEG
  6. Авторы статьи: Грибков И.В., Захаров А.В., Кольцов П.П., Котович Н.В., Кравченко А.А., Куцаев А.С., Осипов А.С., Хисамбеев И.Ш., Коганов М.А.

  7. Программа для автоматизированной верификации ограничений целостности баз данных
  8. Авторы статьи: Хомоненко А.Д., Глухарев М.Л., Косаренко А.П.

  9. Процессная семантика языков распределенного программирования
  10. Авторы статьи: Кораблин Ю.П., Кучугуров И.В.

  11. Вопросы эквивалентности схем параллельных программ
  12. Авторы статьи: Кораблин Ю.П., Кучугуров И.В., Косакян М.Л.

  13. Контроль целостности входных данных при проведении автоматизированного анализа программного обеспечения
  14. Авторы статьи: Поляничко М.А.

  15. Разработка инструментов верификации драйверов на основе семантических моделей
  16. Авторы статьи: Кораблин Ю.П., Павлов Е.Г.

  17. Разработка инструментальных средств анализа драйверов операционной системы Linux
  18. Авторы статьи: Кораблин Ю.П., Павлов Е.Г.

  19. VMASTER – среда для разработки и верификации вероятностных мультиагентных систем
  20. Авторы статьи: Лебедев П.В.

  21. Анализ моделей программ на языке асинхронных функциональных схем средствами темпоральной логики линейного времени
  22. Авторы статьи: Кораблин Ю.П., Косакян М.Л.

  23. Особенности тестирования наборов данных в операционной системе z/OS
  24. Авторы статьи: Бартеньев О.В., Клюев С.В.

  25. Метод ограничений верифицируемых моделей
  26. Авторы статьи: Кораблин Ю.П., Шипов А.А.

  27. Эквациональная характеристика формул LTL
  28. Авторы статьи: Кораблин Ю.П., Шипов А.А.

  29. Метод распределенного анализа свойств верифицируемых моделей
  30. Авторы статьи: Шипов А.А.

  31. Построение моделей систем на базе эквациональной характеристики формул LTL
  32. Авторы статьи: Кораблин Ю.П., Шипов А.А.

  33. Верификация моделей систем на базе эквациональной характеристики формул LTL
  34. Авторы статьи: Кораблин Ю.П., Шипов А.А., Кочергин А.С.