机译:用于可编程逻辑控制器一致性测试的单输入更改测试序列的生成
Assistant Professorship for Safe Embedded Systems, Technische Universit??t M??nchen, Garching bei München, Germany;
Calculus; Circuit faults; IEC standards; Informatics; Input variables; Silicon carbide; Software; Conformance test; Mealy machine; formal methods; programmable logic controller (PLC); single input change (SIC); test sequence; test verdict;
机译:可编程逻辑控制器一致性测试的正式模型
机译:约束主输入序列的逻辑块的功能性宽带测试的生成
机译:硬件生成随机单输入更改测试序列
机译:在硬件上生成随机单输入更改测试序列
机译:一种针对AHPL(硬件编程语言)描述的同步顺序电路的测试序列生成的启发式搜索方法,
机译:建立可靠的肿瘤分析程序:下一代测序与靶向单基因检测之间的协同作用
机译:用于可编程逻辑控制器一致性测试的单输入更改测试序列的生成