Model-based verification with error localization and error correction for C designs
autor
vastutusandmed
Urmas Repinski
ajakirja aastakäik number kuu
No. 4
ilmumisaasta
leheküljed
p. 221-229 : ill
leitav
file:///C:/Users/marit.talviste/Downloads/model-based-verificaton-with-error-localization-and-error-correction-for-c-designs.pdf
ISSN
0236-235X
märkused
Bibliogr.: 19 ref
keel
inglise
märksõna
võtmesõna
simulation-based verification
error localization
automatic error correction
C design
Repinski, U. Model-based verification with error localization and error correction for C designs // Программные продукты и системы = Programmnye produkty i sistemy = Software & systems (2012) No. 4, p. 221-229 : ill.