Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code
Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code
复制标题
工业可编程逻辑控制器代码抽象解释中的有效状态处理
DOI：
10.3182/20140514-3-fr-4046.00065
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Bastian
中科院分区：
文献类型：
--
作者：
Biallas;Sebastian ;Kowalewski;Stefan ;Stattelmann;Stefan ;Schlich;Bastian
登录
查看更多内容
基于 SAT 的可编程逻辑控制器抽象细化
DOI：
10.1109/dcds.2011.5970325
发表时间：
2011
期刊：
2011 3rd International Workshop on Dependable Control of Discrete Systems
影响因子：
--
作者：
Sebastian Biallas;Jörg Brauer;S. Kowalewski
通讯作者：
S. Kowalewski
一种计算复杂程序分析不动点的有效方法
DOI：
10.1145/181181.181308
发表时间：
1994
期刊：
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)
影响因子：
--
作者：
Lilei Chen;W. Harrison
通讯作者：
W. Harrison
使用抽象改进大型 PLC 程序验证
DOI：
10.3182/20080706-5-kr-1001.00857
发表时间：
2008
期刊：
IFAC Proceedings Volumes
影响因子：
--
作者：
V. Gourcuff;O. D. Smet;Jean
通讯作者：
Jean
可编程逻辑控制器的范围和值集分析
DOI：
10.3182/20121003-3-mx-4033.00060
发表时间：
2012
期刊：
2011 3rd International Workshop on Dependable Control of Discrete Systems
影响因子：
--
作者：
Sebastian Biallas;S. Kowalewski;Bastian Schlich
通讯作者：
Bastian Schlich
PLC 程序形式化验证的有效表示
DOI：
--
发表时间：
2006
期刊：
International Workshop on Discrete Event Systems
影响因子：
--
作者：
V. Gourcuff;O. D. Smet;Jean
通讯作者：
Jean