Publication | Closed Access
Correction to 'Certifying the reliability of software' (Jan. 1986 3-11)
60
Citations
2
References
1989
Year
Software MaintenanceSoftware Reliability TestingEngineeringSeveral Typographical ErrorsVerificationSoftware EngineeringAbovementioned PaperVerification And ValidationSoftware AnalysisFormal VerificationJan. 1986ReliabilitySoftware QualitySoftware ValidationSoftware CertificationSoftware DesignSoftware TestingFormal MethodsMathematical Foundations
The authors correct several typographical errors, and misinterpretations in their abovementioned paper (see ibid., vol.SE-12, no.1, p.3-11, Jan. 1986).< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
| Year | Citations | |
|---|---|---|
Page 1
Page 1