Харитонов А В

Публикации в базе данных Math-Net.Ru

1. Исследование интерпретирующей программной реализации самопроверяемых тестеров
   
   Автомат. и телемех., 1990, № 3,  141–150
2. Обнаружение ошибок в программных реализациях самопроверяемых тестеров в микропроцессорных системах
   
   Автомат. и телемех., 1989, № 12,  129–140
3. Итерационный метод решения задачи об устойчивости
   
   Ж. вычисл. матем. и матем. физ., 3:2 (1963),  361–364