Верификация на основе симуляции с нахождением и исправлением ошибок для С-дизайнов
autor
Repinski, Urmas
vastutusandmed
Урмас Репинский
allikas
Программные продукты и системы = Programmnye produkty i sistemy = Software & systems
ajakirja aastakäik number kuu
No. 4
ilmumisaasta
2012
leheküljed
с. 229-237 : ил
märksõna
vead
diagnostika (tehnika)
simulatsioon
verifikatsioon
võtmesõna
верификация на основе симуляции
диагностка ошибок
исправление ошибок
автоматическое исправление ошибок
отладка
ISSN
0236-235X
märkused
Библиогр.: 11 им
keel
vene