Formalization and assessment of regulatory requirements for safety-critical software

Sergiy A. Vilkomir, Jonathan P. Bowen, Aditya K. Ghose. Formalization and assessment of regulatory requirements for safety-critical software. ISSE, 2(3-4):165-178, 2006. [doi]

Abstract

Abstract is missing.