Biblio

Export 1 results:
Filters: Keyword is safety-critical software  [Clear All Filters]
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.