登录    注册    忘记密码

刘宁 收藏

导出分析报告

研究主题:形式化建模与验证    形式化验证    形式化方法    B方法    刺激响应性    

研究学科:交通运输类    自动化类    生物科学类    机械类    经济学类    

被引量:36H指数:4

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