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]

Possibly Related Publications

The following publications are possibly variants of this publication: