ST-Lib型 1份文件引用(2019) 软件作者: J.Kapinski、X.Jin、J.Deshmukh、A.Donzé、T.Yamaguchi、H.Ito、T.Kaga、S.Kobuna、S.A.Seshia 相关软件: S-TaLiRo公司 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)