PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller
文献类型：会议论文
| 作者 | J-C. Tournier; B. Fernández Adiego; I.D. Lopez-Miguel |
| 出版日期 | 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/292433]  |
| 专题 | 学术会议_国际参会_JaCoW高能所参会会议_ICALEPCS |
| 作者单位 | CERN, Geneva, Switzerland |
| 推荐引用方式 GB/T 7714 | J-C. Tournier,B. Fernández Adiego,I.D. Lopez-Miguel. PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller[C]. 见:. China. 2021. |
入库方式： OAI收割
来源：高能物理研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。