Old Web
English
Sign In
Acemap
>
Paper
>
Characterizing Verification Tools Through Coding Error Candidates Reported in Space Flight Software
Characterizing Verification Tools Through Coding Error Candidates Reported in Space Flight Software
2015
Christian R. Prause
Ralf Gerlich
Rainer Gerlich
Anton Fischer
Keywords:
Computer engineering
Coding (social sciences)
Software
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
2
Citations
NaN
KQI
[]