verification

Sort by Year of Publication

Order AscDesc

Zlatogor Minchev

"Research-focused Cyber Exercises: National State-of-the-Art Academic Experience and Perspectives."

DIGILIENCE 2019

(2019):

zm_digilience_talk.pdf

Pàl Dunay

"Arms Control Arrangements under the Aegis of the OSCE: Is There a Better Way to Handle Compliance?."

Connections: The Quarterly Journal

16,

no. 3

(2017):

57-71.

Arms Control under OSCE , Arms Control under OSCE -- EPUB , Arms Control under OSCE -- for Kindle

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