机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:安全关键嵌入式系统背景下的转义分析的设计与实现
机译:ACROSS MPSoC-专为安全关键型嵌入式系统设计的新一代多核处理器
机译:安全和安全关键的与不安全,非安全关键嵌入式系统:它们是否需要完全不同的设计方法?
机译:为安全关键嵌入式和IOT设备安全远程证明
机译:安全关键型差分GNSS系统的电离层空间解相关与空间天气强度之间的相关性
机译:安全关键型嵌入式系统的设计模式