Computer programming; Decision making; Real time; Computer logic; Object oriented programming; Semantics; Computer program verification; Norway; Simulation;
机译:实时Maude的语义和语用
机译:实时Maude中时间Rebeca的形式语义和高效分析
机译:逻辑与对话再谈:实时语言理解中语义与实用内容之间的区分的证据
机译:语用推理语用语义学与语义语用学
机译:语义学,语用学和语义学理论的本质。
机译:全球农业概念空间:实用互操作性的轻量级语义
机译:将ptolemy的实时maude语义扩展到分层DE模型