机构

• 高能物理研究所 [5]

采集方式

• OAI收割 [5]

内容类型

• 会议论文 [5]

发表日期

• 2021 [3]
• 2019 [1]
• 2003 [1]

学科主题

筛选

浏览/检索结果: 共5条，第1-5条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 SPS Personnel Protection System: From Design to Commissioning 会议论文  OAI收割 Brazil, 2021 作者:  T. Ladzinski;  T. Hakulinen;  F. Havart;  V. Martins De Sousa Dos Rios;  M. Munoz Codoceo   |  收藏  |  浏览/下载：15/0  |  提交时间：2022/01/18 Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program 会议论文  OAI收割 China, 2021 作者:  B. Fernández Adiego;  E. Blanco Viñuela;  F. Havart;  T. Ladzinski;  I.D. Lopez-Miguel   |  收藏  |  浏览/下载：15/0  |  提交时间：2022/04/11 Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program 会议论文  OAI收割 China, 2021 作者:  B. Fernández Adiego;  E. Blanco Viñuela;  F. Havart;  T. Ladzinski;  I.D. Lopez-Miguel   |  收藏  |  浏览/下载：15/0  |  提交时间：2023/01/04 Renovation of the SPS Personnel Protection System: A Configurable Approach 会议论文  OAI收割 New York, 2019 作者:  T. Ladzinski;  B. Fernández Adiego;  F. Havart   |  收藏  |  浏览/下载：10/0  |  提交时间：2021/05/28 DIAGNOSTIC AND REMOTE MAINTENANCE OF DISTRIBUTED CONTROL SYSTEMS USING FREEWARE SOLUTIONS 会议论文  OAI收割 Proceedings of the 9th International Conference on Accelerator & Large Experimental Physics Control Systems, Korea, 2003 作者:  R. Bartolome;  F. Havart;  T. Riesco 收藏  |  浏览/下载：6/0  |  提交时间：2016/09/07