换一批- 最近
- 已收藏
- 排序
- 筛选
- 62
- 29
- 17
- 6
- 5
- 4
- 3
- 2
- 1
- 中文期刊
- 刊名
- 作者
- 作者单位
- 收录源
- 栏目名称
- 语种
- 医学主题词
- 出版状态
- 外文期刊
- 文献类型
- 刊名
- 作者
- 医学主题词
- 收录源
- 语种
- 学位论文
- 授予学位
- 授予单位
- 会议论文
- 主办单位
- 专 利
- 专利分类
- 专利类型
- 国家/组织
- 法律状态
- 申请/专利权人
- 发明/设计人
- 成 果
- 鉴定年份
- 学科分类
- 地域
- 完成单位
- 标 准
- 强制性标准
- 中标分类
- 标准类型
- 标准状态
- 来源数据库
- 法 规
- 法规分类
- 内容分类
- 效力级别
- 时效性
【外文期刊】 Gadouche, Hania ; Farah, Zoubeyr ; 等 《Cluster computing》 2020年23卷3期 1517-1528页SCISCIE
【关键词】 ABAC;Correct-by-construction;Event-B;
- 概要：
- 方法：
- 结论：
【外文期刊】 Goessler, Gregor ; 《IEEE/ACM transactions on computational biology and bioinformatics》 2011年8卷3期 672-682页SCISCIEMEDLINE
【关键词】 Genetic regulatory network;component model;discrete abstraction;
- 概要：
- 方法：
- 结论：
【外文期刊】 Bidgoly, Amir Jalaly ; 《European Journal of Medicinal Chemistry: Chimie Therapeutique》 2021年211卷 SCISCIEMEDLINE
- 概要：
- 方法：
- 结论：
【外文期刊】 Zroug, Siham ; Remadna, Ikram ; 等 《Cluster computing》 2023年26卷2期 1405-1423页SCISCIE
【关键词】 Performance evaluation;Formal verification;Petri nets;
- 概要：
- 方法：
- 结论：
【外文期刊】 Connie Curls ; 《IEEE engineering in medicine and biology magazine》 2007年26卷1期 91-97页SCISCIEMEDLINE
- 概要：
- 方法：
- 结论：
【外文期刊】 Requeno, Jose Ignacio ; Casado, Gregorio de Miguel ; 等 《IEEE/ACM transactions on computational biology and bioinformatics》 2013年10卷4期 1058-1070页SCISCIEMEDLINE
【关键词】 Phylogenetic analysis;formal verification;model checking;
- 概要：
- 方法：
- 结论：
【外文期刊】 Hajvali, Masoumeh ; Adabi, Sahar ; 等 2022年25卷1期 91-118页SCISCIE
- 概要：
- 方法：
- 结论：
【外文期刊】 Dunn, Sara-Jane ; Li, Meng Amy ; 等 《The EMBO journal.》 2019年38卷1期 e100003-e100003页SCISCIEMEDLINE
【关键词】 abstract boolean network;formal verification;maintenance and reprogramming;
- 概要：
- 方法：
- 结论：
【外文期刊】 Abed, Sa'ed ; Rashid, Adnan ; 等 《IET systems biology》 2020年14卷5期 271-283页
【关键词】 program verification;diseases;genetics;
- 概要：
- 方法：
- 结论：
【外文期刊】 Guidotti, Dario ; Leofante, Francesco ; 等 《IEEE transactions on neural systems and rehabilitation engineering: a publication of the IEEE Engineering in Medicine and Biology Society》 2019年27卷4期 564-571页
- 概要：
- 方法：
- 结论：
加载中...
