位置：成果数据库 > 期刊 > 期刊详情页
The Denotational Semantics Definition of PLC Programs Based on Extended λ-Calculus.
  • 时间：0
  • 相关项目：面向领域的可信嵌入式软件系统试验验证环境研究
同期刊论文项目
面向领域的可信嵌入式软件系统试验验证环境研究
期刊论文 5 会议论文 7
同项目期刊论文
New strategies for reliability analysis of Programmable Logic Controllers
一种PLC程序语言指称语义及函数的形式化定义方法
Semantic Characterization of Programmable Logic Controller Programs
基于BIP框架的DPU系统建模与验证