一种嵌入式操作系统运行时验证方法

张可迪 & 舒绍娴 & 董威

Book 1 of 期刊, 论文