systems analysis; embedded systems; hardware description languages; formal specification; storage management; .NET framework; system-level modeling; system-level simulation; system level description languages; systems design; SystemC; SystemVerilog; embedded systems; Web-based design; multilanguage features; systems specification; software components integration; operating systems; memory management; automatic refinement tools; specification models translation; specification models annotation;
机译:嵌入式系统体系结构的系统级建模和仿真框架
机译:设计混合储能系统:用于教学系统级建模和仿真的工具
机译:蜂窝和移动网络动态系统级仿真的有效上行链路建模
机译:.NET Framework-用于系统级建模和仿真的下一代工具的解决方案
机译:具有可重定位处理元素模型的基于系统级平台的多核片上系统仿真框架。
机译:BioNetSim:基于Petri网的建模工具用于模拟生化过程
机译:嵌入式系统体系结构的系统级建模和仿真框架