机译:使用ABV和自动生成SystemC代码的片上系统优化
机译:Ortis Solver Codegen:C ++代码生成工具,用于高性能,基于FPGA,电力电子系统的实时仿真
机译:实时环境下集中式自动发电控制的更现实模型
机译:在TROMLAB环境中为实时反应系统自动生成代码
机译:在TROMLAB框架中为实时反应系统基于规范的测试系统的实现。
机译:用于护理纪录系统的自动标记对话生成
机译:3将simulink连接到OsEK:使用TargetLink为实时操作系统自动生成代码
机译:基于环境模型的无功软件系统自动测试用例生成