Department of Computer Science, The University of Waikato, Hamilton, New Zealand;
formal verification; specification matching; embedded systems; supervisory control; finite-state machines; bisimulation;
机译:精确的规格匹配,可在嵌入式系统中进行自适应重用
机译:从抽象的SystemC规范走向自适应系统的自动化实现:从SystemC自适应过程到嵌入式软件,再到可综合的硬件描述
机译:自适应交通灯系统中图像处理与类似技术的比较研究
机译:多核嵌入式系统联合电源和可靠性管理技术的比较研究
机译:电子商务系统规范技术的比较评估。
机译:倾向评分匹配的微线圈和钩丝术前定位技术比较研究
机译:精确的规格匹配,可在嵌入式系统中进行自适应重用