中国科学院机构知识库网格
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
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页