Univ. of Florence, Florence, Italy;
ALF; component-based; executable model; fUML; model-implemented fault injection; software safety analysis;
机译:嵌入式软件的自动电源仿真框架-检测电源关键代码区域并优化软件产生的功耗峰值
机译:仿真软件故障:现场数据研究和实用方法
机译:仿真软件故障:现场数据研究和实用方法
机译:模型级别的软件故障仿真:对自动化软件FMEA
机译:在软件可靠性评估和软件突变测试中使用软件故障。
机译:用于自动微卫星标记开发的新软件
机译:软件故障注入软件故障仿真