Методы и алгоритмы анализа элементов устройств вычислительной техники и систем управления на предсказуемость поведения
Петров Андрей Борисович. Методы и алгоритмы анализа элементов устройств вычислительной техники и систем управления на предсказуемость поведения : Дис. ... д-ра техн. наук : 05.13.05 Москва, 2005 298 с. РГБ ОД, 71:06-5/524