Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Проценко А С
В базах данных Math-Net.Ru
Публикаций: 2
Научных статей: 2

Статистика просмотров:
Эта страница:42
Страницы публикаций:257
Полные тексты:110
Списки литературы:46

https://www.mathnet.ru/rus/person124860
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru Цитирования
2016
1. А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко, “Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK”, Труды ИСП РАН, 28:6 (2016),  87–102  mathnet  elib
2015
2. A. Kamkin, A. Protsenko, A. Tatarnikov, “An approach to test program generation based on formal specifications of caching and address translation mechanisms”, Труды ИСП РАН, 27:3 (2015),  125–138  mathnet  elib 1
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024