Electrical Energy Systems; IP-XACT; SystemC-AMS; power simulation;
机译:随机离散事件系统规范建模和仿真的正式框架
机译:基于TimeWarp的并行仿真的正式规范和验证框架
机译:用于上下文感知系统规范和验证的正式框架
机译:用于电能系统的正式规范和仿真的开源框架
机译:用于大型航空电子系统的硬实时,硬件在环仿真的设计和规范的框架。
机译:Crimson:用于心血管集成建模和仿真的开源软件框架
机译:随机离散事件系统规范建模和仿真的正式框架