safety-critical software

Sort by Year of Publication

Order AscDesc

Mark Lawford, Alan Wassyng

"Formal Verification of Nuclear Systems: Past, Present, and Future."

Information & Security: An International Journal

28,

no. 2

(2012):

223-235.

28.18_Lawford_Wassyng.pdf