...
机译:使用分层模糊彩色Petri-网的起搏器功能的运行时间验证
Univ Kashan Dept Comp Kashan Iran;
Univ Kashan Dept Comp Kashan Iran;
Univ Isfahan Fac Comp Engn Dept Artificial Intelligence Esfahan 81746 Iran;
Pacemaker; Hierarchical fuzzy colored Petri-net; Runtime verification; Petri-net;
机译:使用分层模糊彩色Petri-网的起搏器功能的运行时间验证
机译:FTL-CFree:用于运行时验证的模糊实时语言
机译:基于层次增强彩色Petri网(HECPN)的NPP专家系统的知识库验证
机译:使用模糊逻辑和彩色Petri网的起搏器运行时验证
机译:基于极化雷达测量的水凝物的分类和定量:模糊逻辑和神经模糊系统的开发以及现场验证。
机译:基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
机译:带来运行时验证主页:使用分散规格的智能房屋分层监测案例研究