Biblio
Export 3 results:
Filters: Автор 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 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 In Algebraic Methodology and Software Technology., 2000.
