×

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

在可达性分析中使用并的交集最小化多向线性化误差。 (英语) Zbl 07807709号

第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第1号论文,第11页(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种将微分方程形式化简为过近似的算法。 (英语) Zbl 1522.93048号

布拉哈姆,埃里卡(编辑)等人,《系统的定量评估》。第19届国际会议,QEST 2022,波兰华沙,2022年9月12-16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13479, 173-191 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型