斯皮迪

此软件的关键字
zbMATH中的参考文献(参考, 1标准件 )
Hansen,Hallstein Asheim;Schneider,Gerardo:GSPeeDI——广义多边形混合系统的验证工具(2009) ioport公司 Asarin,Eugene;Pace,Gordon;Schneider,Gerardo;Yovine,Sergio:多边形杂交系统的算法分析。 二: 相图和工具(2008) Asarin,Eugene;Schneider,Gerardo;Yovine,Sergio:多边形杂交系统的算法分析。 一: 可达性(2007) 佩斯,戈登;施耐德,杰拉多:多边形混合系统并行模型检查的组合算法(2006) 佩斯,戈登;施耐德,杰拉多:多边形混合系统状态空间缩减的静态分析(2006) 佩斯,戈登J.;施耐德,杰拉多:使用不变性核的模型检查多边形微分包含。 (2004年) Geardo,2002;Geardo,用于混合动力系统;Geardo,Asardi;用于混合动力系统的Gero,Asardi;2002年