Vilkomir, S., Bowen, J. P. & Ghose, A. K. (2006). Formalization and assessment of regulatory requirements for safety-critical software. Innovations Systems Software Engineering, 2 (2006), 165-178.
Please refer to publisher version or contact your library.
Publication Details
Vilkomir, S., Bowen, J. P. & Ghose, A. K. (2006). Formalization and assessment of regulatory requirements for safety-critical software. Innovations Systems Software Engineering, 2 (2006), 165-178.