Author:
Halang Wolfgang A.,Konakovsky Rudolf M.
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Clutterbuck, D.L., Carré, B.A.: The verification of low level code. IEE Softw. Eng. J. 3, 97–111 (1988)
2. Descartes, R.: Meditationen. Felix Meiner Verlag, Hamburg (1960)
3. Entwurf VDE-Richtlinie 0116: Elektrische Ausrüstung von Feuerungsanlagen. Beuth Verlag, Berlin (1989)
4. EWICS TC7 Software Sub-Group: Techniques for the verification and validation of safety-related software. Comput. Stand. 4, 101–112 (1985)
5. Fagan, M.E.: Design and code inspection to reduce errors in program development. IBM Syst. J. 15(3), 182–211 (1976)