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

中国科学院机构知识库网格

Chinese Academy of Sciences Institutional Repositories Grid

机构

采集方式

内容类型

发表日期

学科主题

筛选

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

帮助

条数/页：排序方式：
	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 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2022/04/11
	Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program 会议论文 OAI收割 China, 2021 作者: \| 收藏 \| 浏览/下载：15/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