登录    注册    忘记密码

西安电子科技大学计算理论与技术研究所 收藏

导出分析报告

研究主题:时序逻辑    投影时序逻辑    PETRI网    命题投影时序逻辑    形式化验证    

研究学科:自动化类    

被引量:171H指数:7WOS: 2 EI: 48 北大核心: 56 CSCD: 57

版权所有©重庆科技学院 重庆维普资讯有限公司 渝B2-20050021-7
 渝公网安备 50019002500408号 违法和不良信息举报中心