机构

• 高能物理研究所 [5]

采集方式

• OAI收割 [5]

内容类型

• 会议论文 [5]

发表日期

• 2017 [2]
• 2016 [1]
• 2015 [1]
• 2013 [1]

学科主题

筛选

浏览/检索结果: 共5条，第1-5条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Safety Instrumented Systems and the AWAKE Plasma Control as a Use Case 会议论文  OAI收割 Spain, 2017 作者:  E.Blanco Viñuela;  H.F.Braunmuller;  B.Fernández Adiego;  R.Speroni   |  收藏  |  浏览/下载：12/0  |  提交时间：2018/04/17 Applying Model Checking to Critical PLC Applications: An ITER Case Study 会议论文  OAI收割 Spain, 2017 作者:  B.Fernández Adiego;  E.Blanco Viñuela;  D.Darvas   |  收藏  |  浏览/下载：26/0  |  提交时间：2018/04/17 Compensation of Beam Induced Effects in LHC Cryogenic Systems 会议论文  OAI收割 Proceedings of the 7th International Particle Accelerator Conference, Korea, 2016 作者:  B.Bradu;  E.Blanco Viñuela;  G.Ferlin;  B.Fernández Adiego;  G.Iadarola 收藏  |  浏览/下载：20/0  |  提交时间：2016/07/13 PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques 会议论文  OAI收割 Proceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems, Australia, 2015 作者:  D.Darvas;  E.Blanco Vinuela;  B.Fernández Adiego 收藏  |  浏览/下载：28/0  |  提交时间：2016/06/14 Testing and Verification of PLC Code for Process Control 会议论文  OAI收割 Proceedings of the 14th International Conference on Accelerator & Large Experimental Physics Control Systems, California, 2013 作者:  E.B.Blanco Vinuela;  B.Fernández Adiego;  A.Merezhin 收藏  |  浏览/下载：18/0  |  提交时间：2016/09/18