Drozd, Alexander

• International Journal of Computing 2012, Volume 11, Issue 3 - Articles
  NATURAL RESOURCES AND THEIR USE FOR CHECKABILITY INCREASING THE DIGITAL COMPONENTS OF SAFETY-CRITICAL SYSTEMS
  Abstract  PDF