Zhuravlev S.   Окольнишников В.В.   Shakirov S.R.  

Approach to verification of application software for automated process control systems

Reporter: Zhuravlev S.