×

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

AMYTISS:大型随机系统自动控制器综合的并行工具。 (英语) 兹比尔07300872

第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第31条,第2页(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

海报摘要:StocHy–随机过程的自动验证和合成。 (英语) 兹伯利07120162

2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。258-259(2019年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

SReachTools:MATLAB随机可达性工具箱。 (英语) Zbl 07120138号

2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。33-38 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

出版年份

主字段