Верификация на основе симуляции с нахождением и исправлением ошибок для С-дизайнов
author
Repinski, Urmas
statement of authorship
Урмас Репинский
source
Программные продукты и системы = Programmnye produkty i sistemy = Software & systems
journal volume number month
No. 4
year of publication
2012
pages
с. 229-237 : ил
subject term
vead
diagnostika (tehnika)
simulatsioon
verifikatsioon
keyword
верификация на основе симуляции
диагностка ошибок
исправление ошибок
автоматическое исправление ошибок
отладка
ISSN
0236-235X
notes
Библиогр.: 11 им
language
vene