机译:用于远程认证的嵌入式系统的形式验证
Formal Verification; Security; Remote Attestation; Embedded Systems;
机译:用于远程认证的嵌入式系统的形式验证
机译:嵌入式操作系统任务调度程序的正式验证
机译:嵌入式系统的形式验证和确认:基于UML的MADES方法
机译:将融合远程认证与经过正式验证的微内核融合:经验教训
机译:嵌入式系统中设备驱动程序的形式验证。
机译:使用商业记录和验证系统进行容积调制电弧疗法治疗的远程自动每日交付验证的可行性
机译:用于关键嵌入式系统的硬件辅助远程运行时间证明
机译:可靠嵌入式系统的形式化系统验证