关注
Adeeb Abdulwakeel Obadi Ahmed
Adeeb Abdulwakeel Obadi Ahmed
Doctoral Candidate in Control Engineering at Xidian University, China
在 stu.xidian.edu.cn 的电子邮件经过验证
标题
引用次数
引用次数
年份
Formal verification of AADL models by event-B
ASA Hadad, C Ma, AAO Ahmed
IEEE Access 8, 72814-72834, 2020
172020
系统目前无法执行此操作，请稍后再试。