×

找到119个文档（结果1-100）

最新的 引文 关联
托拜厄斯·拉德纳;马蒂亚斯·阿尔霍夫

使用灵敏度分析的神经网络验证中的自动抽象细化。 （英语） Zbl 07807959号

第26届ACM混合系统国际会议论文集：计算和控制，HSCC 2023，第16届CPS物联网周的一部分，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第18号论文，第13页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{T.Ladner}和\textit{M.Althoff}，in：第26届ACM混合系统国际会议论文集：计算和控制，HSCC 2023，第16届CPS-IoT周的一部分，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第18号论文，第13页（2023；Zbl 07807959）
全文： 内政部 链接
吉安尼斯·德尔姆帕尔塔基斯;莫特萨·拉希贾尼安;Manuel jun，马祖。;卢卡·劳伦蒂

具有连续动作空间的区间马尔可夫决策过程。 （英语） Zbl 07807953号

第26届ACM混合系统国际会议论文集：计算和控制，HSCC 2023，第16届CPS物联网周的一部分，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第12号论文，第10页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit｛G.Delimpaltadakis｝等人，在：第26届ACM混合系统国际会议论文集：计算和控制，HSCC 2023，第16届CPS物联网周的一部分，美国德克萨斯州圣安东尼奥，2023年5月9-12日。纽约州纽约市：计算机协会（ACM）。第12号论文，第10页（2023；Zbl 07807953）
全文： 内政部 arXiv公司
伯恩德·芬克贝纳;考希·马利克;诺埃米，传球;马尔特·施莱德朱夫斯基;施穆克，安妮·凯瑟琳

BOCoSy：小型但功能强大的符号输出反馈控制。 （英语） Zbl 07807732号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第24号论文，第11页（2022年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{B.Finkbeiner}等人，in：第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周的一部分，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第24号论文，第11页（2022；Zbl 07807732）
全文： 内政部
吉安尼斯·德尔姆帕尔塔基斯;加布里埃尔·德·阿尔伯克基·格莱泽;伊沃·范斯特拉伦;Manuel jun，马祖。

ETMetera：超出事件触发控制。 （英语） 兹伯利07807728

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第20号论文，第11页（2022年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{G.Delimpaltadakis}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周的一部分，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第20号论文，第11页（2022；Zbl 07807728）
全文： 内政部 arXiv公司
赵庆叶;陈欣;赵卓瑜;张一凡;唐恩毅;李宣东

使用神经网络验证神经网络控制系统。 （英语） Zbl 07807711号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第3号文件，第11页（2022）。
MSC公司：60年第68季度 68T05型 93立方
PDF格式BibTeX公司 XML格式引用
\textit{Q.Zhao}等人，《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第3号论文，第11页（2022；Zbl 07807711）
全文： 内政部
Tan，Yong Kiam先生;斯特凡·米奇;安德烈·普拉泽

用逻辑验证切换系统的稳定性。 （英语） Zbl 07807710号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第2号论文，第11页（2022年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{Y.K.Tan}等人，《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第2号论文，第11页（2022；Zbl 07807710）
全文： 内政部 arXiv公司
米里亚姆·加西亚·索托;托马斯·亨辛格（Thomas A.Henzinger）。;克里斯蒂安·席林

从时间序列合成参数混合自动机。 （英语） Zbl 1522.68318号

Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。第20届国际研讨会，ATVA 2022，虚拟活动，2022年10月25日至28日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13505, 337-353 (2022).
MSC公司：60年第68季度 65年第68季度 93亿B50 93立方
PDF格式BibTeX公司 XML格式引用
\textit｛M.García Soto｝等人，Lect。注释计算。科学。13505337--353（2022年；Zbl 1522.68318）
全文： 内政部 arXiv公司
达斯，斯潘丹;帕维特拉·普拉巴卡

平面概率分段常微分系统的稳定性分析。 （英语） Zbl 1522.93183号

布拉哈姆，埃里卡（编辑）等人，《系统的定量评估》。第19届国际会议，QEST 2022，波兰华沙，2022年9月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13479, 192-213 (2022).
MSC公司：93E15型 93立方 93C55美元 60J20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Das}和\textit{P.Prabhakar}，莱克特。注释计算。科学。13479，192--213（2022；Zbl 1522.93183）
全文： 内政部 arXiv公司
亚历山德罗·阿巴特;丹尼尔·艾哈迈德;亚历克·爱德华兹;米尔科·贾科布;安德烈亚·佩鲁福

FOSSIL：使用神经网络对Lyapunov函数和屏障证书进行形式化合成的软件工具。 （英语） Zbl 07807697号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第24号论文，第11页（2021年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Abate}等人，in：《第24届ACM混合系统国际会议论文集：计算与控制》，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第24号论文，第11页（2021；Zbl 07807697）
全文： 内政部
赵庆叶;陈欣;张一凡;沙、孟;杨正峰;林，王;唐恩毅;陈启光;李宣东

合成具有两个隐藏层的ReLU神经网络作为混合系统的屏障证书。 （英语） Zbl 07807690号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第17号文件，第11页（2021）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{Q.Zhao}等人，in：《第24届ACM混合系统国际会议论文集：计算与控制》，HSCC 2021，CPS-IoT周，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第17号论文，第11页（2021；Zbl 07807690）
全文： 内政部
内森·亨特;内森·富尔顿;萨拉·马格里亚坎;Hoang，Trong Nghia村;Das、Subhro;阿曼多·索拉勒扎马

端到端强化学习的可验证安全探索。 （英语） Zbl 07807687号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第14号论文，第11页（2021年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{N.Hunt}等人，in：《第24届ACM混合系统国际会议论文集：计算与控制》，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第14号论文，第11页（2021；Zbl 07807687）
全文： 内政部 arXiv公司
陈景凯;布莱恩·威廉姆斯。;樊楚楚

线性混杂系统的最优混合离散连续规划。 （英语） Zbl 07807681号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第8号论文，第12页（2021年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{J.Chen}等人，in：《第24届ACM混合系统国际会议论文集：计算与控制》，HSCC 2021，CPS-IoT周，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第8号论文，第12页（2021；Zbl 07807681）
全文： 内政部 arXiv公司
布伦纳·S·雷戈。;Joseph K.斯科特。;戴维德·雷蒙多（Davide M.Raimondo）。;吉勒赫梅·拉夫（Guilherme V.Raffo）。

基于约束区域图的非线性不变量离散系统的集值状态估计。 （英语） Zbl 1478.93126号

Automatica公司 129，文章ID 109638，12 p.（2021）.
MSC公司：93B30型 93C55美元 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{B.S.Rego}等人，Automatica 129，文章ID 109638，12 p.（2021；Zbl 1478.93126）
全文： 内政部
新墨西哥州加拉尼娜。;安努列夫，I.S。;Zyubin，V.E。;斯塔罗列托夫，S.M。;利亚克，T.V。;罗佐夫，A.S。;S.P.戈拉赫。

可编程逻辑控制器的时序逻辑。 （俄语。英文摘要） Zbl 1513.68024号

模型。分析。Inf.姐妹。 27，第4期，412-427（2020）.
MSC公司：60年第68季度 03B44号 93C83号
PDF格式BibTeX公司 XML格式引用
\textit{N.O.Garanina}等人，模型。分析。Inf.姐妹。27，第4号，412--427（2020；Zbl 1513.68024）
全文： 内政部 MNR公司
丹尼尔·艾哈迈德;安德烈亚·佩鲁福;亚历山德罗·阿巴特

使用SMT解算器对Lyapunov函数进行自动化和合理的合成。 （英语） Zbl 1507.68335号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 97-114 (2020).
MSC公司：68伏15 34D20型 60年第68季度 93天30分
PDF格式BibTeX公司 XML格式引用
\textit{D.Ahmed}等人，Lect。注释计算。科学。12078，97-114（2020；Zbl 1507.68335）
全文： 内政部 arXiv公司
柴新伟;托尼·里贝罗;摩根·马根;奥利维尔·鲁克斯;井上，胜美

可达性问题的静态分析和随机搜索。 （英语） Zbl 1458.92032号

Gupta，Ankit（编辑）等人，《2018年SASB会议记录》，第九届静态分析和系统生物学国际研讨会，德国弗莱堡，2018年8月28日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。350, 139-158 (2020).
MSC公司：92立方厘米 93个B03 93甲15
PDF格式BibTeX公司 XML格式引用
\textit{X.Chai}等人，《电子》。注释Theor。计算。科学。350、139--158（2020；Zbl 1458.92032）
全文： 内政部
尼古拉·贝内什;卢博什·布里姆;塞缪尔·帕斯特瓦;萨夫拉内克，大卫

互联网拥塞控制协议的数字分叉分析。 （英语） Zbl 1453.93141号

国际分叉混沌应用杂志。科学。工程师。 30，第13号，文章ID 2030038，18 p.（2020）.
MSC公司：93元62角 93C83号 93磅70 93B52号
PDF格式BibTeX公司 XML格式引用
\textit{N.Beneš}等人，《国际分叉混沌应用》。科学。Eng.30，No.13，文章ID 2030038，18 p.（2020；Zbl 1453.93141）
全文： 内政部
亚历山德罗·阿巴特;伊奥里·贝萨;卢卡斯·科迪罗;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波尔格林

连续设备可证明安全数字控制器的自动形式化综合。 （英语） Zbl 1441.93171号

学报信息。 57，编号1-2223-244（2020）.
MSC公司：93元62角 93亿B50 93立方厘米 93D20型
PDF格式BibTeX公司 XML格式引用
\textit{A.Abate}等人，《学报》第57期，第1--2223--244号（2020年；Zbl 1441.93171）
全文： 内政部
布伦纳·S·雷戈。;吉勒赫梅·拉夫（Guilherme V.Raffo）。;约瑟夫·斯科特。;戴维德·雷蒙多（Davide M.Raimondo）。

非线性离散时间系统集值状态估计的基于约束区域图的保证方法。 （英语） Zbl 1430.93207号

Automatica公司 111，文章ID 108614，14 p.（2020）.
MSC公司：93E10型 93个B03 93C55美元 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit｛B.S.Rego｝等人，Automatica 111，文章ID 108614，第14页（2020；Zbl 1430.93207）
全文： 内政部 arXiv公司
徐凯尔;鲁帕克·马朱姆达尔;考希·马利克;施穆克，安妮·凯瑟琳

基于惰性抽象的控制器综合。 （英语） Zbl 1447.93060号

Chen，Yu Fang（编辑）等人，用于验证和分析的自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781, 23-47 (2019).
MSC公司：93B30型 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{K.Hsu}等人，Lect。注释计算。科学。11781、23-47（2019年；Zbl 1447.93060）
全文： 内政部 arXiv公司
凯瑟琳·科德威尔;安德烈·普拉泽

走向物理混合系统。 （英语） Zbl 07178978号

Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 216-232 (2019).
MSC公司：60年第68季度 03B70号 93立方
PDF格式BibTeX公司 XML格式引用
\textit{K.Cordwell}和\textit{A.Platzer}，莱克特。注释计算。科学。11716、216——232（2019；Zbl 07178978）
全文： 内政部 arXiv公司
安德鲁·索戈孔;哈利勒·戈尔巴尔;Tan，Yong Kiam先生;安德烈·普拉泽

病媒屏障证书和比较系统。 （英语） Zbl 1460.93012号

Havelund，Klaus（编辑）等人，《形式方法》。2018年7月15日至17日，作为联邦逻辑会议的一部分，在英国牛津举行了2018年第22届国际研讨会（FM 2018）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10951, 418-437 (2018).
MSC公司：93个B03 60年第68季度 93天30分
PDF格式BibTeX公司 XML格式引用
\textit{A.Sogokon}等人，莱克特。注释计算。科学。10951，418--437（2018；Zbl 1460.93012）
全文： 内政部 链接
哈迪·扎蒂;Ye，莉娜;菲利普·达格;珍妮·皮尔·加洛瓦;Travé-Massuyès，路易丝

混合系统可诊断性分析的抽象细化。 （英语） Zbl 1461.93236号

Sayed-Mouchaweh，Moamar（编辑），混合动态和网络物理系统的可诊断性、安全性和安全性。查姆：斯普林格。279-318 (2018).
审核人：Seenith Sivasundaram（代托纳海滩）
MSC公司：93立方 93个B07 93元65角
PDF格式BibTeX公司 XML格式引用
\textit{H.Zaati}等人，in：混合动态和网络物理系统的可诊断性、安全性和安全性。查姆：斯普林格。279--318（2018；Zbl 1461.93236）
全文： 内政部
内森·富尔顿;斯特凡·米奇;布兰登·伯勒;安德烈·普拉泽

Bellerophon：混合系统的战术定理证明。 （英语） Zbl 1483.68191号

Ayala-Rincón，Mauricio（编辑）等人，交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10499, 207-224 (2017).
MSC公司：60年第68季度 68伏15 93立方
PDF格式BibTeX公司 XML格式引用
\textit{N.Fulton}等人，Lect。注释计算。科学。10499，207--224（2017；Zbl 1483.68191）
全文： 内政部
彼得·纳齐尔·莫萨德;马丁·范策尔;薛、白

时滞微分方程的时序逻辑验证。 （英语） Zbl 1482.68145号

Sampaio，Augusto（编辑）等人，《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9965, 405-421 (2016).
MSC公司：60年第68季度 03B44号 34K07号 65升03 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{P.Nazier Mosaad}等人，Lect。注释计算。科学。9965，405--421（2016；Zbl 1482.68145）
全文： 内政部
尼科斯·阿雷奇加;詹姆斯·卡宾斯基;Jyotirmoy V.德斯穆赫。;安德烈·普拉泽;布鲁斯·克罗格

动力总成控制系统的数字辅助演绎安全证明。 （英语） Zbl 1351.68150号

Bogomolov，Sergiy（编辑）等人，基于2014年7月17日至18日和2015年4月13日在奥地利维也纳举行的第七届和第八届数值软件验证国际研讨会上所作陈述的论文选集。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》317，19-25（2015）。
MSC公司：60年第68季度 68吨15 93立方
PDF格式BibTeX公司 XML格式引用
\textit{N.Aréchiga}等人，《电子》。注释Theor。计算。科学。317、19-25（2015年；Zbl 1351.68150）
全文： 内政部
杰里米·斯普洛斯顿

概率矩形混合自动机的验证与控制。 （英语） Zbl 1465.68183号

Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9268，1-9（2015年）。
MSC公司：60年第68季度 65年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{J.斯普洛斯顿}，莱克特。注释计算。科学。9268，1-9（2015；Zbl 1465.68183）
全文： 内政部 链接
詹乃军;王淑玲;赵恒军

混合系统的形式化建模、分析和验证。 （英语） 兹比尔1444.68105

刘志明（主编）等，《程序设计理论与形式工程方法的统一》。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8050, 207-281 (2013).
MSC公司：60年第68季度 03B70号 68伏15 93立方
PDF格式BibTeX公司 XML格式引用
\textit{N.Zhan}等人，Lect。注释计算。科学。8050207--281（2013；Zbl 1444.68105）
全文： 内政部
Nepevoda，A.N。

用线性时序逻辑验证技术系统模型。 （英语。俄文原件） Zbl 1258.93019号

自动。远程控制 73，第9期，1539-1552（2012）; Avtom翻译。Telemekh公司。2012年，第9期，124-140（2012）。
MSC公司：93A30型 93立方厘米 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{A.N.Nepevoda}，自动。遥控器73，No.9，1539--1552（2012；Zbl 1258.93019）；Avtom翻译。Telemekh公司。2012年，第9124--140号（2012年）
全文： 内政部
Thao Dang先生;托马斯·马丁·高利察

基于模板的仿射混合自动机无界时间验证。 （英语） Zbl 1348.68100号

Yang，Hongseok（编辑），《编程语言和系统》。2011年12月5日至7日，第九届亚洲研讨会，亚太区生命科学协会，台湾垦丁。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-25317-1/pbk）。计算机科学课堂讲稿7078，34-49（2011）。
MSC公司：65年第68季度 65年第68季度 68问题55 60年第68季度 93个B03 93立方
PDF格式BibTeX公司 XML格式引用
\textit{T.Dang}和\textit{T.M.Gawlitza}，莱克特。注释计算。科学。7078，34-49（2011；Zbl 1348.68100）
全文： 内政部
戈皮纳德·西里吉尼迪;安东尼奥斯·索尔多斯;布莱恩·怀特（Brian A.White）。;拉法·比科夫斯基

多无人机系统时间规范的克里普克建模和验证。 （英语） Zbl 1242.68171号

安。数学。Artif公司。智力。 63，第1期，31-52（2011）.
MSC公司：60年第68季度 68T40型 93C85号 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Sirigineedi}等人，《数学年鉴》。Artif公司。智力。63，第1号，31-52（2011年；兹bl 1242.68171）
全文： 内政部
托马斯·泽特库利奇;斯特凡·拉特肖恩

混合系统简洁抽象的增量计算。 （英语） Zbl 1348.68133号

Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。《计算机科学讲义》6919271-285（2011）。
MSC公司：60年第68季度 65年第68季度 93个B03
PDF格式BibTeX公司 XML格式引用
\textit{T.Dzetkulič}和\textit{S.Ratschan}，莱克特。注释计算。科学。6919、271--285（2011年；Zbl 1348.68133）
全文： 内政部
贝诺·德拉哈耶;贝诺·凯劳德;Legay、Axel

概率契约：用于设计具有随机和/或非确定性方面的系统的组合推理方法。 （英语） Zbl 1210.93068号

形式方法系统。设计。 38，第1期，1-32页（2011年）.
MSC公司：93E03型 87年第68季度 65年第68季度 60年第68季度 90B25型
PDF格式BibTeX公司 XML格式引用
\textit{B.Delahaye}等人，《形式方法系统》。设计。38，编号1，1--32（2011年；兹bl 1210.93068）
全文： 内政部
科恩·克莱森;伊恩，尼古拉斯;玛丽·希兰;尼古拉斯·Sörensson;阿列克谢·沃罗诺夫;克努特·奥凯森

在实践中解决SAT问题，并提供来自监督控制的教程示例。 （英语） Zbl 1180.93065号

离散事件动态。系统。 19，第4期，495-524（2009）.
MSC公司：93元65角 93甲13 93C83号
PDF格式BibTeX公司 XML格式引用
\textit{K.Claessen}等人，《离散事件动力学》。系统。19，第4号，495--524（2009；Zbl 1180.93065）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件