文件名称：matlab中inv的函数代码-hynger:那
文件大小：17.78MB
文件格式：ZIP
更新时间：2024-06-12 18:44:24
系统开源
matlab中inv的函数代码海因格（Hybrid iNvariant GEneratoR） Hynger使用Simulink / Stateflow（SLSF）框图来从SLSF模拟生成文本日志输出文件。 特别是，Hynger允许将Daikon不变推论工具与SLSF图集成在一起。 贡献者： ，范德比尔特大学 德克萨斯大学阿灵顿分校 空军研究实验室 史蒂芬·德拉格（Steven Drager），空军研究实验室 刊物： 泰勒·约翰逊（Taylor T. Johnson），斯坦利·巴克（Stanley Bak），史蒂芬·德拉格（Steven Drager），“具有动态分析的网络物理规范失配识别”，在第六届网络物理系统国际会议（ICCPS 2015）上，ACM / IEEE，西雅图，华盛顿，2015年4月。 Luan Viet Nguyen，Khaza Hoque，Stanley Bak，Steven Drager，Taylor T.Johnson，“网络物理规范不匹配”，在ACM网络物理系统交易（TCPS）中，2018年。 安装： 克隆Hynger存储库： hg clone https://