|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2017 |
| 1. |
А. Д. Татарников, “Обзор методов и средств генерации тестовых программ для микропроцессоров”, Труды ИСП РАН, 29:1 (2017), 167–194   |
|
2016 |
| 2. |
А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко, “Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK”, Труды ИСП РАН, 28:6 (2016), 87–102 |
| 3. |
A. D. Tatarnikov, “Language for describing templates for test program generation for microprocessors”, Труды ИСП РАН, 28:4 (2016), 77–98 |
4
|
|
2015 |
| 4. |
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 |
1
|
|
Обратная связь: