Formal methods

Sort by Year of Publication

Order AscDesc

Oksana Pomorova, 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.

Formal and Intelligent Methods

Mark Lawford, Alan Wassyng

"Formal Verification of Nuclear Systems: Past, Present, and Future."

Information & Security: An International Journal

28,

no. 2

(2012):

223-235.

28.18_Lawford_Wassyng.pdf