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