×

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

加权信号时序逻辑控制综合的混合整数线性规划方法。 (英语) Zbl 07807944号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第3号论文,第12页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

单变量TPTL的线性时间监控。 (英语) Zbl 07807713号

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

验证混合系统信号时序逻辑规范的程序逻辑。 (英语) Zbl 07807683号

2021年5月19日至21日,美国田纳西州纳什维尔,第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分。纽约州纽约市:计算机协会(ACM)。第10号论文,第11页(2021年)。
PDF格式BibTeX公司 XML格式引用

用于有效在线时间监控的代数定量语义。 (英语) Zbl 1467.68088号

Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12651, 330-348 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

确定性数据流和流处理的语义基础。 (英语) 兹比尔1508.68069

Müller,Peter(编辑),《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会(ESOP 2020),是欧洲软件理论与实践联合会议(ETAPS 2020)的一部分。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12075394-427(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

信号时序逻辑的透视监测。 (英语) Zbl 07317097号

Bertrand,Nathalie(编辑)等,时间系统的形式化建模和分析。第18届国际会议,FORMATS 2020,奥地利维也纳,2020年9月1日至3日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12288, 178-195 (2020).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份