机译:基于Petri网和混合方法的着陆系统验证
Petri nets; aerospace safety; aircraft landing guidance; program verification; Petri nets; aircraft control system; complex verification; continuous dynamics; differential equation systems; discrete dynamics; hybrid approach; landing system verification; linear logi;
机译:基于Petri网和混合方法的着陆系统验证
机译:使用Petri网验证基于规则的系统的新方法
机译:混合动力系统的多奇异混合Petri网建模与验证
机译:一种使用有色Petri网验证混合规则/基于框架的专家系统的方法
机译:使用标记的混合Petri网对模拟/混合信号电路进行高效建模和验证。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:基于着色petri网的混合规则/框架专家系统验证方法