Tools; Signal to noise ratio; Embedded systems; Measurement; Cryptography; Integrated circuits;
机译:工具套件可帮助计划,优化和验证嵌入式实时系统
机译:嵌入式和实时系统的形式验证方法和工具的调查
机译:面向嵌入式系统的可靠开发工具:软件验证中的案例研究
机译:硅前嵌入式系统评估作为用于安全验证的新EDA工具
机译:用于容错分布式嵌入式系统的设计和评估的方法和工具支持。
机译:大学食堂中的HACCP系统评估:微生物监测和内部审核作为验证工具
机译:基于源代码注释和断言的嵌入式系统中与安全相关的功能的识别和验证