换一批- 最近
- 已收藏
- 排序
- 筛选
- 63
- 29
- 18
- 6
- 5
- 4
- 3
- 2
- 1
- 中文期刊
- 刊名
- 作者
- 作者单位
- 收录源
- 栏目名称
- 语种
- 医学主题词
- 出版状态
- 外文期刊
- 文献类型
- 刊名
- 作者
- 医学主题词
- 收录源
- 语种
- 学位论文
- 授予学位
- 授予单位
- 会议论文
- 主办单位
- 专 利
- 专利分类
- 专利类型
- 国家/组织
- 法律状态
- 申请/专利权人
- 发明/设计人
- 成 果
- 鉴定年份
- 学科分类
- 地域
- 完成单位
- 标 准
- 强制性标准
- 中标分类
- 标准类型
- 标准状态
- 来源数据库
- 法 规
- 法规分类
- 内容分类
- 效力级别
- 时效性
【外文期刊】 Matthew R. Lakin ; David Parker ; 等 《Journal of the Royal Society Interface》 2012年9卷TN.72期 1470-1485页
【关键词】 DNA computing;formal verification;probabilistic model checking;
- 概要：
- 方法：
- 结论：
【外文期刊】 Zroug, Siham ; Remadna, Ikram ; 等 《Cluster computing》 2023年26卷2期 1405-1423页SCISCIE
【关键词】 Performance evaluation;Formal verification;Petri nets;
- 概要：
- 方法：
- 结论：
【外文期刊】 Nazir, Anam ; Alam, Masoom ; 等 《Cluster computing》 2017年20卷3期 2423-2437页SCISCIE
【关键词】 Correlation rules;Domain specific language;Formal methods;
- 概要：
- 方法：
- 结论：
【外文期刊】 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页
- 概要：
- 方法：
- 结论：
【外文期刊】 Babamir, Seyed Morteza ; Dehkordi, Mehdi Borhani ; 《Bio-medical materials and engineering》 2014年24卷2期 1517-1526页SCISCIEMEDLINE
- 概要：
- 方法：
- 结论：
【外文期刊】 Dunn, Sara-Jane ; Li, Meng Amy ; 等 《The EMBO journal.》 2019年38卷1期 e100003-e100003页SCISCIEMEDLINE
【关键词】 abstract boolean network;formal verification;maintenance and reprogramming;
- 概要：
- 方法：
- 结论：
【外文期刊】 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
- 概要：
- 方法：
- 结论：
【外文期刊】 Konur, Savas ; Gheorghe, Marian ; 《IEEE/ACM transactions on computational biology and bioinformatics》 2015年12卷2期 360-371页SCISCIEMEDLINE
- 概要：
- 方法：
- 结论：
【外文期刊】 Gadouche, Hania ; Farah, Zoubeyr ; 等 《Cluster computing》 2020年23卷3期 1517-1528页SCISCIE
【关键词】 ABAC;Correct-by-construction;Event-B;
- 概要：
- 方法：
- 结论：
加载中...
