Biblio
Export 3 results:
Filters: Keyword is verification [Clear All Filters]
"Research-focused Cyber Exercises: National State-of-the-Art Academic Experience and Perspectives." In DIGILIENCE 2019. Sofia, Bulgaria, 2019.
"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.
"Formal Verification of Nuclear Systems: Past, Present, and Future." Information & Security: An International Journal 28, no. 2 (2012): 223-235.
