COMPUTER SYSTEMS PROGRAMS; CONCURRENT PROCESSING; DIGITAL SYSTEMS; ERROR DETECTION CODES; FAULT TOLERANCE; SELF TESTS; ALGORITHMS; DOCUMENT MARKUP LANGUAGES; GATES (CIRCUITS); SHIFT REGISTERS; TRANSFORMATIONS (MATHEMATICS);
机译:具有指定故障检测概率的自检微程序控制单元综合的新方法
机译:使用严格的自检程序的轨道检验台车的实验验证
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:一种构建现象模型的新型严格数学规范方法
机译:自查程序:通过使用资产来验证程序的公理方法。
机译:评估社区护理方案:进行严格研究的最佳实践以评估人道主义环境中基于性别的暴力预防和应对方案
机译:计算机程序中的自检和运行时验证
机译:严格的自检程序设计方法