×

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

这个ksmt公司微积分是一个非线性约束的(delta)-完全决策过程。 (英语) Zbl 07437075号

AndréPlatzer等人,《自动扣除——CADE 28》。2021年7月12日至15日,第28届自动扣款国际会议,虚拟活动。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12699, 113-130 (2021).
MSC公司:03B35型 68伏15
PDF格式BibTeX公司 XML格式引用

面向物理混合系统。 (英语) Zbl 07178978号

Fontaine,Pascal(编辑),自动扣除-CADE 27。第27届自动扣减国际会议,巴西纳塔尔,2019年8月27日至30日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11716, 216-232 (2019).
MSC公司:03B35型 68伏15
PDF格式BibTeX公司 XML格式引用

混合自动机的相关句法和语义扰动。 (英语) Zbl 1520.68066号

Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118,第26条,第16页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用区间分析监控有界LTL属性。 (英语) Zbl 1351.68163号

Bogomolov,Sergiy(编辑)等人,基于2014年7月17日至18日和2015年4月13日在奥地利维也纳举行的第七届和第八届数值软件验证国际研讨会上所作陈述的论文选集。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》317,85-100(2015)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段