|
СТ |
Проецирование систем переходов: преодоление комбинаторного взрыва при верификации параллельных систем |
2015 |
Камкин А. С. |
|
|
|
Программирование |
12.01.2016 |
|
СТ |
Расширяемая среда генерации тестовых программ для микропроцессоров |
2014 |
Камкин А. С., Сергеева Т. И., Смолов С. А., Татарников А. Д., Чупилко М. М. |
|
|
|
Программирование |
25.03.2014 |
|
СТ |
Генерация тестовых программ для подсистемы управления памятью микропроцессора |
2009 |
Воробьев Д. Н., Камкин А. С. |
|
|
|
Труды ИСП РАН |
12.05.2010 |
|
СТ |
Сравнительный анализ современных технологий разработки тестов для моделей аппаратного обеспечения |
2009 |
Губенко Я. С., Камкин А. С., Чупилко М. М. |
|
|
|
Труды ИСП РАН |
12.05.2010 |
|
А |
Метод автоматизации имитационного тестирования микропроцессоров с конвейерной архитектурой на основе формальных спецификаций |
2009 |
Камкин А. С. |
|
|
|
|
13.04.2009 |
|
СТ |
Использование контрактных спецификаций для представления требований и функционального тестирования моделей аппаратуры |
2007 |
Иванников В. П., Камкин А. С., Косачев А. С., Кулямин В. В., Петренко А. К. |
|
|
|
Программирование |
20.11.2007 |
