Biblio
Export 2 results:
Filters: Keyword is Formal methods [Clear All Filters]
Formal and Intelligent Methods for Security and Resilience: Education and Training Issues." Information & Security: An International Journal 35, no. 2 (2016): 133-150.
"Formal Verification of Nuclear Systems: Past, Present, and Future." Information & Security: An International Journal 28, no. 2 (2012): 223-235.
"