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

张可迪 & 舒绍娴 & 董威

期刊, 论文 (1)