“SμV-安全MicroVisor:基于正式验证的软件……”
马哈茂德·阿马尔 , 布鲁诺·克里斯波 , 雅各布施 , 丹尼·休斯 , 威尔弗里德·丹尼尔斯 :
SμV-安全MicroVisor:一种经过正式验证的基于软件的物联网安全架构。 IEEE传输。 可靠的安全。 计算。 16 ( 5 ) : 885-901 ( 2019 )
由于引用数据不可用,以下列表可能不完整, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。