...
机译:安全关键计算机系统中软件安全的方法框架
Department of Computer Science and Engineering,GIT AM University, Visakhapatnam, India;
Department of Computer Science and Systems Engineering,Andhra University, Visakhapatnam, India;
safety-critical systems; software safety; software quality; rail road crossing control system (RCCS);
机译:安全关键计算机系统中软件安全的方法框架科学出版物
机译:安全关键计算系统中的软件安全建模方法
机译:安全关键计算系统中软件安全建模的方法论
机译:安全关键系统正确性的正式组建验证方法:基于模型检查的方法方法,可自动验证安全关键系统软件
机译:安全关键型计算机控制系统的软件生命周期和分析技术。
机译:医疗保健中的计算机应用。门诊计算机系统。多相测试系统:工业场所的安全性及其整个员工队伍的健康状况的文档
机译:安全关键计算机系统中软件安全的方法框架