×

找到2个文档(结果1-2)

利用抽象加速度对具有输入的防护LTI系统进行无界时间分析。 (英语) Zbl 1419.68041号

Blazy,Sandrine(编辑)等人,《静态分析》。2015年9月9日至11日,第22届国际研讨会,SAS,法国圣马洛。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9291, 312-331 (2015).
MSC公司:68N99型
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份

主字段