中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共5条,第1-5条 帮助

条数/页: 排序方式:
Implications and Mitigation of Radiation Effects on the CERN SPS Operation during 2021 会议论文  OAI收割
Thailand, 2022
作者:  
Y.Q. Aguiar;  A. Apollonio;  K. Biłko;  M. Brucoli;  M. Cecchetto
  |  收藏  |  浏览/下载:16/0  |  提交时间:2023/01/05
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