|
已选(0)清除
条数/页： 排序方式：
|
| Managing Archiver Rules for Individual EPICS PVs in FRIB’s Diagnostics System 会议论文
New York, 2019
作者: B.S. Martins; S. Cogan; S.M. Lidia; D.O. Omitto
  收藏 | 浏览/下载：0/0 | 提交时间：2021/05/28 |
| A stretchable transparent conductive film based on polymer microspheres lithography technology 会议论文
上海, 2018
作者: Xinyu Zhang; Yougen Hu; Wenlong Jiang; Pengli Zhu; Rong Sun
收藏 | 浏览/下载：27/0 | 提交时间：2019/01/31 |
| Divergence Detection for CCSL Specification via Clock Causality Chain 会议论文
2nd International Symposium on Dependable Software Engineering - Theories, Tools and Applications (SETTA), 2016-11-09
作者: Xu, Qingguo[1]; de Simone, Robert[2]; DeAntoni, Julien[3]
收藏 | 浏览/下载：6/0 | 提交时间：2019/04/26
|
| Frequency Control Using On-line Learning Method for Island Smart Grid with EVs and PVs 会议论文
作者: Tang, Yufei; Yang, Jun; Yan, Jun; Zeng, Zhili; He, Haibo
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/05 |
| 基于PVS的数据库安全策略形式化分析方法 会议论文
首届全国信息安全等级保护技术大会, 桂林, 2012
李昊; 张敏; 王榕
收藏 | 浏览/下载：13/0 | 提交时间：2013/09/22
|
| Modeling predicate abstraction of timed automata in PVS 会议论文
2011 IEEE International Conference on Internet of Things, iThings 2011 and 4th IEEE International Conference on Cyber, Physical and Social Computing, CPSCom 2011, 2011-10-19
作者: Yin, Xia[1]; Xu, Qingguo[2]; Han, Kunliang[3]
收藏 | 浏览/下载：1/0 | 提交时间：2019/04/30 |
| axiomatic semantics of projection temporal logic programs 会议论文
6th International Conference on Theory and Application of Models of Computation (TAMC 09), Changsha, PEOPLES R CHINA, MAY 18-22,
Yang Xiaoxiao; Duan Zhenhua; Ma Qian
收藏 | 浏览/下载：11/0 | 提交时间：2011/03/31
|
| Formal verification framework for safety of real-time system based on timed automata model in PVS 会议论文
IASTED International Conference on Software Engineering, as part of the 24th IASTED International Multi-Conference on APPLIED INFORMATICS, 2006-02-14
作者: Xu, Qingguo[1]; Miao, Huaikou[2]
收藏 | 浏览/下载：1/0 | 提交时间：2019/05/10 |
| Extending product family approach to support services 会议论文
International Conference on Service Systems and Service Management, Chongqing, China, June 13-15, 2005
作者: Zhang WL(张闻雷); Fan YS(范玉顺)
收藏 | 浏览/下载：19/0 | 提交时间：2012/06/06
|
| New visibility computing algorithm for three-dimensional indoor walkthroughs 会议论文
作者: Liu, Q; Li, D
收藏 | 浏览/下载：0/0 | 提交时间：2019/12/05
|
