Dept. of TCE, RVCE, Bengaluru, India;
Aerospace Electronics and Systems Division, NAL, Bengaluru, India;
Mathematical model; Analytical models; Model checking; Formal verification; Software; Safety; Specification languages;
机译:使用NuSMV模型检查器对牛奶运行的运输物流进行自动路线规划
机译:使用NuSMV模型检查器对牛奶运行的运输物流进行自动路线规划
机译:定期捐助:NUSMV:新的符号模型检查器
机译:使用NUSMV模型检查器分析MTL属性
机译:有效的
机译:评估乌里奇菌(瑞士)Cass的抗炎和抗关节炎特性。基于关节炎大鼠模型中的实验和定性气相色谱-质谱分析
机译:使用NUSMV模型检查器的重建业务流程正式验证效率