Biblio

Export 3 results:
Filters: Author is Alan Wassyng  [Clear All Filters]
2012
Lawford, Mark, and Alan Wassyng. "Formal Verification of Nuclear Systems: Past, Present, and Future." Information & Security: An International Journal 28, no. 2 (2012): 223-235.
2011
Wassyng, Alan, Mark S. Lawford, and Thomas S. E. Maibaum. Software certification experience in the canadian nuclear industry: lessons for the future In Software certification experience in the canadian nuclear industry: lessons for the future., 2011.
2003
Wassyng, Alan, and Mark Lawford. Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project In FME 2003: International Symposium of Formal Methods Europe Proceedings. Pisa, Italy, 2003.