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

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

Chinese Academy of Sciences Institutional Repositories Grid

机构

采集方式

内容类型

发表日期

学科主题

筛选

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

帮助

条数/页：排序方式：
	What is Special About PLC Software Model Checking? 会议论文 OAI收割 Spain, 2017 作者: D.Darvas; I.Majzik \| 收藏 \| 浏览/下载：10/0 \| 提交时间：2018/04/17
	Applying Model Checking to Critical PLC Applications: An ITER Case Study 会议论文 OAI收割 Spain, 2017 作者: B.Fernández Adiego; E.Blanco Viñuela; D.Darvas \| 收藏 \| 浏览/下载：26/0 \| 提交时间：2018/04/17
	A Formal Specification Method for PLC-based Applications 会议论文 OAI收割 Proceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems, Australia, 2015 作者: D.Darvas; E.Blanco Vinuela 收藏 \| 浏览/下载：9/0 \| 提交时间：2016/06/14
	PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques 会议论文 OAI收割 Proceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems, Australia, 2015 作者: D.Darvas; E.Blanco Vinuela; B.Fernández Adiego 收藏 \| 浏览/下载：28/0 \| 提交时间：2016/06/14