CORC

在结果中检索

CORC

浏览/检索结果: 共38条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
B-c(*)-meson production via the proton-nucleus and the nucleus-nucleus collision modes at the colliders RHIC and LHC 期刊论文
PHYSICAL REVIEW D, 2018, 卷号: 97, 期号: 11, 页码: 114022
作者:  Chang, CH;  Chen, G;  Wu, XG
收藏  |  浏览/下载：44/0  |  提交时间：2018/12/27
Formal modelling of list based dynamic memory allocators 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2018, 卷号: 61
作者:  Fang, Bin[1];  Sighireanu, Mihaela[2];  Pu, Geguang[3];  Su, Wen[4];  Abrial, Jean-Raymond[5]
收藏  |  浏览/下载：8/0  |  提交时间：2019/04/22
The 150 most important questions in cancer research and clinical oncology series: questions 86-93 期刊论文
2018, 卷号: 37
作者:  Olver, Ian;  Shi, Qian;  Qiao, Meng;  Liu, Yao;  Pan-Hammarstrom, Qiang
收藏  |  浏览/下载：3/0  |  提交时间：2020/01/03
Correct-by-construction specification to verified code 期刊论文
JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2018, 卷号: 30
作者:  Ge, Ning;  Dieumegard, Arnaud;  Jenn, Eric;  Voisin, Laurent
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30
Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system 期刊论文
4th International Conference on Abstract State Machines, Alloy, B, TLA,VDM, and Z (ABZ), 2017, 卷号: 19, 页码: 141-166
作者:  Su, Wen[1];  Abrial, Jean-Raymond[2]
收藏  |  浏览/下载：6/0  |  提交时间：2019/04/24
An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants 期刊论文
Proceedings - International Computer Software and Applications Conference, 2017, 卷号: 1, 页码: 138-143
作者:  Liu, Jie;  Liu, Jing*;  Zhang, Miaomiao;  Sun, Haiying;  Chen, Xiaohong
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/27
A method for the translation from UML into Event-B 会议论文
7th IEEE International Conference on Software Engineering and Service Science (ICSESS), China Hall Sci & Technol, Beijing, PEOPLES R CHINA
作者:  Sun Weixuan;  Zhang Hong;  Fu Yangzhen;  Feng Chao
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/30
A method based on Meta-Model for the translation from UML into Event-B 会议论文
IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C), Vienna, AUSTRIA, 2016-01-01
作者:  Sun Weixuan;  Zhang Hong;  Feng Chao;  Fu Yangzhen
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30
A method for the translation from UML into Event-B 会议论文
PROCEEDINGS OF 2016 IEEE 7TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS 2016), 2016-01-01
作者:  Sun Weixuan;  Zhang Hong;  Fu Yangzhen;  Feng Chao
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30
BCVEGPY2.2: A newly upgraded version for hadronic production of the meson B-c and its excited states 期刊论文
COMPUTER PHYSICS COMMUNICATIONS, 2015, 卷号: 197, 期号: 0, 页码: 335-338
作者:  Chang, CH;  Wang, XY;  Wu, XG
收藏  |  浏览/下载：25/0  |  提交时间：2016/11/21

©版权所有 ©2017 CSpace - Powered by CSpace