Malardalen Univ., Vasteras, Sweden;
automotive electrics; automotive engineering; brakes; engines; gears; program testing; quality assurance; software quality; ECU; automotive integration testing; automotive systems; brake unit; electrical control units; engine control unit; event behavior; gearbox unit; independent guarded assertions; integration testing; offline trace analysis; quality assurance; software complexity; software size; standard commercial model checker; system complexity; system reliability; system safety; Analytical models; Automata; Automoti;
机译:测试生物多样性随机几何学理论对独立物种的安排主张
机译:基于不对称像素关系和无关训练测试数据集的独立于作者的离线签名验证
机译:作者基于非对称像素关系和无关训练测试数据集的作家独立离线签名验证
机译:汽车集成测试独立守卫断言的离线分析
机译:对审计师的断言级别内在风险评估进行的实证检验:关于断言的一致性的解释测试。
机译:测试生物多样性随机几何学理论对独立物种的安排主张
机译:独立保护断言汽车系统测试