QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 限定条件 专题：北京航空航天大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Integrated formal verification of safety-critical software 会议论文 INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018-08-01 作者:  Ge, Ning;  Jenn, Eric;  Breton, Nicolas;  Fonteneau, Yoann 收藏  |  浏览/下载：8/0  |  提交时间：2019/12/30 Integration  Formal verification  Safety-critical embedded software  HLL  S3  SAT  Floating-point arithmetic   Integrated formal verification of safety-critical software 期刊论文 INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 卷号: 20, 页码: 423-440 作者:  Ge, Ning;  Jenn, Eric;  Breton, Nicolas;  Fonteneau, Yoann 收藏  |  浏览/下载：8/0  |  提交时间：2019/12/30 Integration  Formal verification  Safety-critical embedded software  HLL  S3  SAT  Floating-point arithmetic   Mechanical performance calculation of single-layer cable mesh point-supported glass curtain wall under fire conditions 会议论文 4th International Conference on Civil Engineering, Architecture and Building Materials (CEABM), Haikou, PEOPLES R CHINA, 2014-01-01 作者:  Gong Lingfeng;  Bai Yin;  Li Shiqi 收藏  |  浏览/下载：5/0  |  提交时间：2020/01/06 single-layer cable  mechanical performance  glass breakage  critical temperature  fire-resisting design   Evolution of the X(5) critical-point symmetry in rotating Os-176 期刊论文 JOURNAL OF PHYSICS G-NUCLEAR AND PARTICLE PHYSICS, 2011, 卷号: 38 作者:  Hao, X.;  Zhu, L. H.;  Wu, X. G.;  He, C. Y.;  Pan, B. 收藏  |  浏览/下载：3/0  |  提交时间：2020/01/06 Microscopic analysis of spherical to gamma-soft shape transitions in Zn isotopes 期刊论文 SCIENCE CHINA-PHYSICS MECHANICS & ASTRONOMY, 2011, 卷号: 54, 页码: 222-226 作者:  Song, Chun Yan;  Li, Zhi Pan;  Vretenar, Dario;  Meng, Jie 收藏  |  浏览/下载：3/0  |  提交时间：2020/01/06 quantum phase transitions  E(5) critical-point symmetry  five-dimensional Hamiltonian