Biblio

Found 2 results
Filters: Keyword is Formal methods  [Clear All Filters]
2016
Pomorova, Oksana, and Sergii Lysenko. "Formal and Intelligent Methods for Security and Resilience: Education and Training Issues." Information & Security: An International Journal 35, no. 2 (2016): 133-150.
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.