State Key Laboratory for Novel Software Technology, Nanjing University;
Fondazione Bruno Kessler - IRST;
State Key Laboratory for Novel Software Technology, Nanjing University;
Fondazione Bruno Kessler - IRST;
Fondazione Bruno Kessler - IRST;
机译:混沌分数阶系统同步的混合稳定性检查方法
机译:短通信在以混合Petri网为模型的系统中的性能评估和模型检查
机译:无限过渡系统的模型检验同步产品
机译:使用浅同步模型检查混合系统
机译:混合多分辨率仿真和模型检查:片上网络系统
机译:使用彩色混合Petri网和模拟模型检查的空间群体感应建模
机译:使用浅层同步的混合系统模型检查
机译:模型检查分布式时钟同步系统的拜占庭容错自稳定协议