机译:从抽象的SystemC规范走向自适应系统的自动化实现:从SystemC自适应过程到嵌入式软件,再到可综合的硬件描述
机译:复杂嵌入式系统的硬件/软件共同设计 - 一种使用高效流程模型,多种形式主义规范和通过共模验证的方法
机译:目标软件生成:在实时操作系统上自动映射系统的方法
机译:自动生成嵌入式系统软件的计算规范的定时DEVS模型
机译:根据实时反应系统的正式规范自动生成测试。
机译:从LEMS(NeuroML2的基础通用模型规范语言)自动生成代码
机译:嵌入式实时系统中基于组件的硬件/软件交互的显式连接器的自动生成