Alan Wassyng

First name

Alan

Last name

Wassyng

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

Alan Wassyng, Mark Lawford, Thomas Maibaum

"Software certification experience in the canadian nuclear industry: lessons for the future."

Software certification experience in the canadian nuclear industry: lessons for the future

(2011):

219–226.