Гладких Тетяна Валентинівна. Верифікація динамічних параметрів електронних пристроїв на основі K-значного моделювання : Дис... канд. наук: 05.13.05 - 2007.