机构

• 高能物理研究所 [11]

采集方式

• OAI收割 [11]

内容类型

• 会议论文 [11]

发表日期

• 2023 [1]
• 2021 [8]
• 2019 [2]

学科主题

筛选

浏览/检索结果: 共11条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Towards Automatic Generation of Fail-Safe PLC Code Compliant with Functional Safety Standards 会议论文  OAI收割 South Africa, 2023 作者:  A. Germinario;   E. Blanco Vinuela;  B. Fernández Adiego   |  收藏  |  浏览/下载：0/0  |  提交时间：2024/11/14 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   |  收藏  |  浏览/下载：82/0  |  提交时间：2022/04/11 PLC Based Control Systems Workshop 会议论文  OAI收割 China, 2021 作者:  E. Blanco Viñuela;  B. Fernández Adiego;  B. Schofield;  J.O. Vidal   |  收藏  |  浏览/下载：16/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  |  提交时间：2022/04/11 Towards the Optimization of the Safety Life-Cycle for Safety Instrumented Systems 会议论文  OAI收割 China, 2021 作者:  B. Fernández Adiego;  E. Blanco Viñuela;  Th. Otto;  R. Speroni;  G. de Assis Schmidt   |  收藏  |  浏览/下载：9/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 Towards the Optimization of the Safety Life-Cycle for Safety Instrumented Systems 会议论文  OAI收割 China, 2021 作者:  B. Fernández Adiego;  E. Blanco Viñuela;  Th. Otto;  R. Speroni;  G. de Assis Schmidt   |  收藏  |  浏览/下载：6/0  |  提交时间：2023/01/04 PLC Based Control Systems Workshop 会议论文  OAI收割 China, 2021 作者:  E. Blanco Viñuela;  B. Fernández Adiego;  B. Schofield;  J.O. Vidal   |  收藏  |  浏览/下载：4/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 Cause-and-Effect Matrix Specifications for Safety Critical Systems at CERN 会议论文  OAI收割 New York, 2019 作者:  B. Fernández Adiego;  E. Blanco Viñuela;  M. Charrondiere;  R. Speroni   |  收藏  |  浏览/下载：8/0  |  提交时间：2021/05/28