引用人
杨杰(Yang J) 杨Z 卡斯J 射线S (2024) 定制加速器微结构的正确构造设计 电气电子工程师学会计算机期刊 10.1109/TC.2023.3329243号 73 :1 (278-291) 在线发布日期:2024年1月1日 李L 刘毅 职位D 兰普洛斯L 范霍恩D 希克斯M (2023) Checked C1的形式化模型 计算机安全杂志 10.3233/JCS-230040 31 :5 (581-614) 在线发布日期:2023年10月13日 布尔克T 山核桃素B Pouzet M公司 (2023) 用状态机验证同步数据流的编译 嵌入式计算系统ACM事务 10.1145/3608102 22 :5秒 (1-26) 在线发布日期:2023年10月31日 显示更多引用者