Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program
文献类型：会议论文
| 作者 | B. Fernández Adiego; E. Blanco Viñuela; F. Havart; T. Ladzinski; I.D. Lopez-Miguel; J-C. Tournier |
| 出版日期 | 2021 |
| 会议日期 | 2021 |
| 会议地点 | China |
| 会议录 | Proceedings of the 18th International Conference on Accelerator and Large Experimental Physics Control Systems
 |
| 语种 | 英语 |
| 源URL | [http://ir.ihep.ac.cn/handle/311005/292603]  |
| 专题 | 学术会议_国际参会_JaCoW高能所参会会议_ICALEPCS |
| 作者单位 | CERN, Geneva, Switzerland |
| 推荐引用方式 GB/T 7714 | B. Fernández Adiego,E. Blanco Viñuela,F. Havart,et al. Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program[C]. 见:. China. 2021. |
入库方式： OAI收割
来源：高能物理研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。