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