Old Web
English
Sign In
Acemap
>
Paper
>
Early Results from Characterizing Verification Tools Through Coding Error Candidates Reported in Space Flight Software
Early Results from Characterizing Verification Tools Through Coding Error Candidates Reported in Space Flight Software
2016
Ralf Gerlich
Rainer Gerlich
Anton Fischer
Mário Pinto
Christian R. Prause
Keywords:
Computer engineering
Coding (social sciences)
early results
Software
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
1
References
1
Citations
NaN
KQI
[]