规约模式系统相关论文
PLC是工业控制领域中广泛应用的可编程逻辑控制器,在安全攸关的领域,传统的手工编程方式无法保证PLC程序的正确性,而在代码自动生......
可编程逻辑控制器(PLC)是一种被广泛应用于工业控制领域的反应式系统。目前从业人员编写PLC程序主要依靠个人经验,需求漏洞、程序......
规约模式系统SPS是根据性质的语义抽象而成的描述程序性质的表达模式,既能方便程序员使用,又有对应的时序逻辑表达式.但是,它现有......
