Energy consumption; Testing; Automata; Embedded systems; Clocks; Computational modeling; Automotive engineering;
机译:使用EAST-ADL和能量感知变异对复杂嵌入式系统进行模型测试
机译:用于汽车嵌入式软件测试的模型自动测试用例
机译:基于正式规范的嵌入式网络系统自动测试生成
机译:East-ADL建模的嵌入式系统能耗的自动试验
机译:针对嵌入式系统和机器人应用的基于模型的设计,仿真和自动代码生成。
机译:在埃及可再生和不可再生能源消费模型中测试能量环境库兹涅茨曲线假设
机译:从扩展任务图自动生成嵌入式系统的预定系统模型