Electronic System-Level (ESL); Design Space Exploration (DSE); Model-Driven Development (MDD); Component-Based Design (CBD); UML; MARTE; SystemC;
机译:基于正式规范的嵌入式网络系统自动测试生成
机译:基于正式规范的嵌入式网络系统自动测试生成
机译:基于正式规范的嵌入式网络系统自动测试生成
机译:用于嵌入式系统规范和自动生成快速可配置和可执行性能模型的MDD方法论
机译:嵌入式多处理器信号处理系统的模型连续规范和设计方法。
机译:AeroRing的规格和性能指标—用于航空电子嵌入式系统的多环以太网
机译:从并行mpI应用程序自动生成可执行通信规范的方法