中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共17条，第1-10条

帮助

条数/页：排序方式：
	CERN SCADA Systems 2020 Large Upgrade Campaign Retrospective 会议论文 OAI收割 China, 2021 作者: L.G. Goralczyk; A.F. Kostopoulos; B. Schofield; J-C. Tournier \| 收藏 \| 浏览/下载：27/0 \| 提交时间：2022/04/11
	PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller 会议论文 OAI收割 China, 2021 作者: J-C. Tournier; B. Fernández Adiego; I.D. Lopez-Miguel \| 收藏 \| 浏览/下载：83/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 \| 收藏 \| 浏览/下载：17/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
	CERN SCADA Systems 2020 Large Upgrade Campaign Retrospective 会议论文 OAI收割 China, 2021 作者: L.G. Goralczyk; A.F. Kostopoulos; B. Schofield; J-C. Tournier \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2023/01/04
	PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller 会议论文 OAI收割 China, 2021 作者: J-C. Tournier; B. Fernández Adiego; I.D. Lopez-Miguel \| 收藏 \| 浏览/下载：10/0 \| 提交时间：2023/01/04
	MONARC: Supervising the Archiving Infrastructure of CERN Control Systems 会议论文 OAI收割 New York, 2019 作者: J-C. Tournier; E. Blanco Vinuela \| 收藏 \| 浏览/下载：6/0 \| 提交时间：2021/05/28
	Large-Scale Upgrade Campaigns of SCADA Systems at CERN - Organisation, Tools and Lessons Learned 会议论文 OAI收割 Spain, 2017 作者: R.Kulaga; F.Varela; J-C.Tournier; M.Gonzalez-Berges; P.Golonka \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2018/04/17
	SCADA Statistics Monitoring Using the Elastic Stack (Elasticsearch, Logstash, Kibana) 会议论文 OAI收割 Spain, 2017 作者: B.Schofield; J.A.G.Hamilton; M.Gonzalez-Berges; J-C.Tournier \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2018/04/17