机译:使用带有指定命令的CSP的行为树的语义
The University of Queensland, Australia,The Queensland Brain Institute. Australia;
The University of Queensland, Australia;
structural operational semantics; communicating sequential processes (csp); hierarchical state; specification commands; process algebras; behavior trees; requirements modelling;
机译:从CSP规范生成Petri网:一种基于语义的方法
机译:基于语义命令的多目标时标递归神经网络基于语义命令的初始状态校正
机译:领域特定建模语言的行为语义的组合规范
机译:利用行为语义规范的语义模型区分
机译:通过更高级别的一致性和树分解,CSP具有实用的可处理性。
机译:行为情境对动眼指挥发展中知觉决策的影响
机译:使用带有指定命令的CSP的行为树的语义
机译:具有有限等式最终语义规范的自然数据类型但没有有效的等式初始语义规范