引用人
赫特V 集团D Drechsler R公司 赫特V 集团D Drechsler R公司 (2023) 系统形式验证C-basierten Entwürfen durch符号模拟 虚拟动词原型 10.1007/978-3-031-18174-0_4 (63-125) 在线发布日期:2023年1月1日 沈Y 彭Y 陈杰 Shi L公司 邓F (2022) 中断驱动的资源竞争缺陷模型和测试方法 2022年IEEE第六届先进信息技术、电子和自动化控制会议(IAEAC) 10.1109/IAEAC54830.2022.9930087 (602-616) 在线发布日期:2022年10月3日 向D 赵F 刘Y (2021) DICER 2.0:一种新的并发软件系统数据流错误模型检查器 数学 10.3390/小时9090966 9 :9 (966) 在线发布日期:2021年4月25日 显示更多引用者