Biblio
Export 3 results:
Filters: Author is Mark Lawford [Clear All Filters]
"Formal Verification of Nuclear Systems: Past, Present, and Future." Information & Security: An International Journal 28, no. 2 (2012): 223-235.
Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project(link is external) In FME 2003: International Symposium of Formal Methods Europe Proceedings. Pisa, Italy, 2003.
Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software(link is external) In Algebraic Methodology and Software Technology., 2000.
Partner sites
