Arithmetic Symbolic Transition System; Checking Strategies; Combination Model-checking; PLC Program;
机译:比较以教师为主导的小组学习与基于计算机的教学与仅基于计算机的教学相结合,以识别模拟的肺音。
机译:多功能控制系统PLC87(A)第1部分:基于Simatic S5指令集的aPLC
机译:多站练习:针对大型入学班级的基于问题的学习和基于团队的学习教学设计的结合
机译:组合模型检查PLC程序的验证基于指令
机译:使用教学法,探究法和两种科学教学方法相结合的学生成绩比较。
机译:基于UPLC-Q-TOF-MS / MS网络药理学和实验验证的综合植物化学分析探讨慢性支气管炎Platycodon Grandiflorum的潜在机制
机译:对于在指令列表中编写的pLC程序的自动验证