SAFETY; SOFTWARE ENGINEERING; FORMALISM; AIRBORNE/SPACEBORNE COMPUTERS; ARCHITECTURE (COMPUTERS); CERTIFICATION; SEMANTICS; COMPUTER SYSTEMS PERFORMANCE;
机译:正式安全与实际安全:安全文化的定量和定性方法–来自爱沙尼亚的证据
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:我的人力资源空间-继任成功:正式计划将确保在出售船队时更轻松地过渡
机译:自动生成的航空航天软件的正式安全认证邀请
机译:基于程序分析的方法来确保新兴软件平台的安全性
机译:健康信息技术安全趋势:从技术错误到当前确保技术安全的方法
机译:软件零件,软硬件复合物的基本和组织结构,以确保液压和水电结构的安全性建设
机译:确保空间软件安全的正式途径。