...
机译:IEC 61499中基本功能块的形式语法和语义
IEC 61499; Basic function blocks; Formal syntax; Denotational semantics; Execution semantics;
机译:IEC 61499中基本功能块的形式语法和语义
机译:关于IEC 61499功能块形式模型的定义
机译:重构IEC 61499标准基本功能块中的执行控制图
机译:使用抽象状态机和SMV-执行语义对IEC61499功能块进行形式化建模和验证
机译:功能类别的形式属性:俄语名词和介词表达的简约语法。
机译:慢性卒中语义和语法语言网络的功能重组:来自MEG的证据
机译:面向IEC 61499功能块的形式语义模型