Model-based verification with error localization and error correction for C designs
author
statement of authorship
Urmas Repinski
journal volume number month
No. 4
year of publication
pages
p. 221-229 : ill
url
file:///C:/Users/marit.talviste/Downloads/model-based-verificaton-with-error-localization-and-error-correction-for-c-designs.pdf
ISSN
0236-235X
notes
Bibliogr.: 19 ref
language
inglise
subject term
keyword
simulation-based verification
error localization
error correction
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.