×

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

最新的 引文 关联
亚瑟·克莱维尔；劳拉·阿尔蒂莉·桑巴托洛美；埃里克·阿塞林；克里斯托夫·加里昂；克莱尔·佩吉蒂

基于机器学习的网络物理系统的验证：一项比较研究。 （英语） Zbl 07807730号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第22号论文，第16页（2022年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.Clavière}et al.，in：第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周的一部分，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第22号论文，16页（2022；Zbl 07807730）
全文： 内政部 哈尔
加布里埃尔·德·阿尔伯克基·格莱泽；库什拉伊·马德纳尼；Manuel jun，马祖。

一个更简单的替代方案：最小化过渡系统模交替模拟等效性。 （英语） Zbl 07807715号

第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第7号论文，第11页（2022年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{G.de A.Gleizer}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周的一部分，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第7号论文，第11页（2022；Zbl 07807715）
全文： 内政部 arXiv公司
戈兰·弗雷斯；米尔科·贾科布；埃纳州扎法内拉

线性混合自动机的符号分析——25年后。 （英语） Zbl 1528.68182号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。13660, 39-60 (2022).
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Frehse}等人，Lect。票据计算。科学。13660，39-60（2022；Zbl 1528.68182）
全文： 内政部
爱德华·坎伯扬

从后条件到后区域不变量：混合对象的演绎验证。 （英语） Zbl 07807682号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第9号论文，第11页（2021年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{E.Kamburjan}，in：第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第9号论文，第11页（2021；Zbl 07807682）
全文： 内政部
白、云君；甘婷；焦、李；夏碧灿；薛、白；詹乃军

扰动下时滞混合系统的切换控制器综合。 （英语） Zbl 07807676号

2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第3号论文，第11页（2021年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{Y.Bai}等人，in：《第24届ACM混合系统国际会议论文集：计算与控制》，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第3号论文，第11页（2021；Zbl 07807676）
全文： 内政部 arXiv公司
纪尧姆·杜邦；雅敏阿伊特阿默尔；马克·潘特尔；辛格，Neeraj K。

用于连续行为近似的事件B精化。 （英语） Zbl 1497.68295号

Hou，Zhe（编辑）等，验证和分析自动化技术。2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，第19届国际研讨会，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12971, 320-336 (2021).
MSC公司：60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit｛G.Dupont｝等人，Lect。票据计算。科学。12971、320-336（2021年；Zbl 1497.68295）
全文： 内政部
埃蒂安·安德烈

模仿者3：超越可判定性的时序参数合成。 （英语） Zbl 1493.68202号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12759, 552-565 (2021).
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{埃里·安德烈}，莱克特。票据计算。科学。12759、552--565（2021；Zbl 1493.68202）
全文： 内政部
王秋叶；陈明帅；薛、白；詹乃军；Joost-Pieter卡托恩

通过差分-凸规划合成不变屏障证书。 （英语） Zbl 1493.68222号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12759, 443-466 (2021).
MSC公司：60年第68季度 90 C90
PDF格式BibTeX公司 XML格式引用
\textit{Q.Wang}等人，Lect。票据计算。科学。12759443-466（2021年；Zbl 1493.68222）
全文： 内政部 arXiv公司
拉多斯拉夫·伊万诺夫；泰勒·卡彭特；詹姆斯·韦默；拉杰夫·阿鲁尔；乔治·帕帕斯；李因苏普

Verisig 2.0：使用泰勒模型预处理验证神经网络控制器。 （英语） Zbl 1493.68211号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12759, 249-262 (2021).
MSC公司：60年第68季度 34A34飞机 65G40型 65升05 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit｛R.Ivanov｝等人，Lect。票据计算。科学。12759，249--262（2021；Zbl 1493.68211）
全文： 内政部
卡琳娜·皮尔奇；斯特凡·舒普；安妮·雷姆克

通过流管道构造优化一类受限随机混合自动机的可达概率。 （英语） Zbl 1491.68102号

阿巴特，亚历山德罗（编辑）等人，《系统的定量评估》。第18届国际会议，QEST 2021，巴黎，法国，2021年8月23日至27日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12846, 435-456 (2021).
MSC公司：65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Pilch}等人，Lect。票据计算。科学。12846、435--456（2021年；Zbl 1491.68102）
全文： 内政部
塞尔吉·博戈莫洛夫；戈兰·弗雷斯；阿米特·古龙；李东旭；乔治·马蒂乌斯；Rayarshi Ray

利用符号可达性分析和轨迹拼接对混合系统进行伪造。 （英语） Zbl 1479.90044号

非线性分析。，混合系统。 42，文章ID 101093，21 p.（2021）.
MSC公司：90B10型 90B25型 90C05（二氧化碳） 90立方
PDF格式BibTeX公司 XML格式引用
\textit{S.Bogomolov}等人，《非线性分析》。，混合系统。42，文章ID 101093，21 p.（2021；Zbl 1479.90044）
全文： 内政部
艾曼纽·菲利奥特；尼古拉斯·马佐奇；Jean-François拉斯金；桑卡拉纳拉亚南，斯里拉姆；阿舒托什·特里维迪

用于稳健性验证的加权传感器。 （英语） Zbl 07559473号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第17条，第21页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.Filiot}等人，LIPIcs——莱布尼茨国际程序。通知。171，第17条，第21页（2020；Zbl 07559473）
全文： 内政部
帕特里夏·鲍耶；托马斯·布里海耶；米凯尔·兰多尔；塞德里克·里维埃；皮埃尔·范登霍夫

随机系统的决定性及其在混合模型中的应用。 （英语） Zbl 07455746号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）326149-165（2020年）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，《电子》。程序。西奥。计算。科学。（EPTCS）326149--165（2020；Zbl 07455746）
全文： arXiv公司 链接
沃洛德米尔·斯科贝列夫（Volodymyr G.Skobelev）。；沃洛德米尔·斯库贝列夫五世。

用有限离散时间马尔可夫链分析网络物理系统中的故障。 （英语） Zbl 1469.68009号

计算。科学。J.模具。 28，第3号（84），269-284（2020）.
MSC公司：68米15 60J20型
PDF格式BibTeX公司 XML格式引用
\textit{V.G.Skobelev}和\textit{V.V.Skoberlev}.计算。科学。J.模具。28，第3号（84），269-284（2020；兹bl 1469.68009）
全文： 链接
Tsachouridis，Vassilios A。；乔治·詹塔米迪斯；Stylianos巴萨吉安尼斯；科斯塔斯库拉马斯

Schulz矩阵反演算法的形式化分析：通用矩阵流求解器的计算机辅助验证范例。 （英语） Zbl 1458.65035号

数字。代数控制优化。 177-206年第2期第10期（2020年）.
MSC公司：65层10 15A09号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.A.Tsachouridis}等人，数字。代数控制优化。10，编号2，177--206（2020；Zbl 1458.65035）
全文： 内政部
Vázquez，C.雷纳托；戈梅斯·古铁雷斯（David Gomez-Gutiérrez）；安东尼奥·拉米雷斯·特维尼奥

具有未知输入和Petri网离散动力学的线性混合系统的观测器设计。 （英语） Zbl 1441.93099号

非线性分析。，混合系统。 36，文章ID 100876，22 p.（2020）.
MSC公司：93B53号 93个B07 93立方 93二氧化碳 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.R.Vázquez}等人，《非线性分析》。，混合系统。36，文章ID 100876，22 p.（2020；Zbl 1441.93099）
全文： 内政部
陈丽安；佛罗伦萨牧师；帕南加登，普拉卡什

Feller-Dynkin过程的相互模拟。 （英语） Zbl 07515954号

Barbara König（编辑），第35届编程语义数学基础会议论文集，MFPS XXXV，英国伦敦，2019年6月4-7日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。347，45-63（2019年）。
MSC公司：68号30 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{L.Chen}等人，《电子》。注释Theor。计算。科学。347、45-63（2019年；Zbl 07515954）
全文： 内政部 arXiv公司
阿夫尼，盖伊；什巴希斯·古哈；奥尔纳·库普弗曼

带时钟的定时网络游戏。 （英语） Zbl 1510.91055号

Potapov，Igor（编辑）等人，第43届计算机科学数学基础国际研讨会。2018年8月27日至31日，英国利物浦，MFCS 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117，第23条，第18页（2018年）。
MSC公司：91A43型 65年第68季度 91B32型
PDF格式BibTeX公司 XML格式引用
\textit｛G.Avni｝等人，LIPIcs——莱布尼茨国际期刊。通知。117，第23条，第18页（2018；兹bl 1510.91055）
全文： 内政部 arXiv公司
斯坦利·巴克；帕拉萨拉·斯里达尔·达吉拉拉

基于严格仿真的线性混合系统分析。 （英语） Zbl 1452.68098号

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格。莱克特。票据计算。科学。10205, 555-572 (2017).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Bak}和\textit{P.S.Duggirala}，莱克特。票据计算。科学。10205555--572（2017；Zbl 1452.68098）
全文： 内政部
Vázquez，C.雷纳托；戈梅斯·古铁雷斯（David Gomez-Gutiérrez）；安东尼奥·拉米雷斯·特维尼奥

具有约束离散动力学的线性混合系统的观测器综合。 （英语） Zbl 1373.93122号

非线性分析。，混合系统。 26, 254-273 (2017).
MSC公司：93亿B50 93元65角 93二氧化碳 83立方30
PDF格式BibTeX公司 XML格式引用
\textit{C.R.Vázquez}等人，《非线性分析》。，混合系统。26、254--273（2017年；Zbl 1373.93122）
全文： 内政部
戈梅斯·古铁雷斯（David Gomez-Gutiérrez）；Vázquez，C.雷纳托；谢尔盖·切利科夫斯克；安东尼奥·拉米雷斯·特雷维尼奥；贝纳迪诺·卡斯蒂略-托莱多

有界扰动下单输入单输出连续切换仿射系统的可分辨性和观测器设计及其在混沌调制中的应用。 （英语） 兹比尔1358.93041

欧洲药典控制 34, 49-58 (2017).
MSC公司：93个B07 93立方 93二氧化碳 34甲10
PDF格式BibTeX公司 XML格式引用
\textit{D.Gómez-Gutiérrez}等人，《欧洲期刊控制》34，49-58（2017；Zbl 1358.93041）
全文： 内政部
安东尼奥·法维拉·孔特雷拉斯；弗朗西斯科·贝特拉恩·卡巴贾尔；亚历杭德罗·皮尼翁；安吉洛·雷蒙迪

一类混杂系统的极限环分析。 （英语） Zbl 1400.34043号

数学。问题。工程师。 2016年，文章ID 2981952，14 p.（2016）.
MSC公司：34二氧化碳 34A38型 93C40型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Favela-Contreras}等人，《数学》。问题。Eng.2016，文章ID 2981952，14 p.（2016；Zbl 1400.34043）
全文： 内政部
内维斯、雷纳托；路易斯·巴博萨。

混合自动机作为余代数。 （英语） Zbl 1400.68111号

Sampaio，Augusto（编辑）等人，《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日。诉讼程序。查姆：施普林格（ISBN 978-3-319-46749-8/pbk；978-3-3169-46750-4/电子书）。计算机科学讲座笔记9965385-402（2016）。
MSC公司：65年第68季度 18B20型 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Neves}和\textit{L.S.Barbosa}，莱克特。票据计算。科学。9965，385--402（2016；Zbl 1400.68111）
全文： 内政部 链接
伊万诺夫，列夫根

抽象连续时间系统全局时间互模拟的局部特征。 （英语） Zbl 1475.68209号

Hasuo，Ichiro（编辑），计算机科学中的协代数方法。2016年4月2日至3日，第13届IFIP工作组1.3国际研讨会，CMCS 2016，与ETAPS 2016合办，荷兰埃因霍温。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。9608, 216-234 (2016).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{I.Ivanov}，莱克特。票据计算。科学。9608，216--234（2016；Zbl 1475.68209）
全文： 内政部 哈尔
石井、大辅；直纪延崎；亚历山大·戈德斯特恩

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

Bogomolov，Sergiy（编辑）等人，基于2014年7月17日至18日和2015年4月13日在奥地利维也纳举行的第七届和第八届数值软件验证国际研讨会上所作陈述的论文选集。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》317，85-100（2015）。
MSC公司：60年第68季度 03B44号 03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.石井}等人，《电子》。注释Theor。计算。科学。31785-100（2015年；Zbl 1351.68163）
全文： 内政部 arXiv公司
帕维特拉·普拉巴卡；尼玛·鲁希；马赫什·维斯瓦纳坦

确定并发平面单调线性混合系统。 （英语） Zbl 1465.68198号

Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9268, 256-269 (2015).
MSC公司：68问题85 65年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{P.Prabhakar}等人，Lect。票据计算。科学。9268256-269（2015年；Zbl 1465.68198）
全文： 内政部
杰里米·斯普洛斯顿

概率矩形混合自动机的验证与控制。 （英语） 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）
全文： 内政部 链接
刘杰；刘静

混合事件B的正式框架。 （英语） Zbl 1351.68166号

薛进云（编辑）等，第六届软件工具支持理论利用国际研讨会论文集（TTSS 2013），中国南昌，2013年10月27日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记309，3-12，仅电子版（2014）。
MSC公司：60年第68季度 03B70号 65年第68季度 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{J.Liu}和textit{J.Liu}，电子。注释Theor。计算。科学。309、3--12（2014年；Zbl 1351.68166）
全文： 内政部
穆萨·马伊加；纳西姆·拉姆达尼；Travé-Massuyès，路易丝；克利斯朵夫·康巴斯特

在非线性混合可达性中求解保护集交集的CSP与基于分区的方法。 （英语） Zbl 1302.65123号

数学。计算。科学。 8，编号3-4，407-423（2014）.
MSC公司：65G40型 93立方 34A38型
PDF格式BibTeX公司 XML格式引用
\textit{M.Maíga}等人，《数学》。计算。科学。8、编号3--4、407--423（2014；Zbl 1302.65123）
全文： 内政部 哈尔
奥德·马勒

定时系统未被满足的挑战。 （英语） Zbl 1416.68114号

Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8415, 177-192 (2014).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{O.Maler}，莱克特。票据计算。科学。8415，177--192（2014；Zbl 1416.68114）
全文： 内政部
爱德华·A·李。

建设性碰撞。 （英语） Zbl 1416.68202号

Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8415, 161-176 (2014).
MSC公司：68岁20岁 00A79号
PDF格式BibTeX公司 XML格式引用
\textit{E.A.Lee}，莱克特。票据计算。科学。8415，161--176（2014；Zbl 1416.68202）
全文： 内政部
卢卡·本维努蒂；大卫·布雷索林；彼得·柯林斯；阿尔贝托·法拉利；卢卡·杰雷蒂；蒂齐亚诺别墅

用ARIADNE对非线性混合系统进行假设保证验证。 （英语） 兹比尔1284.93121

国际J鲁棒非线性控制 24，第4期，699-724（2014）.
MSC公司：93立方 93B15号机组 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{L.Benvenuti}等人，《国际鲁棒非线性控制》24，第4期，699--724（2014；Zbl 1284.93121）
全文： 内政部
詹乃军；王淑玲；赵恒军

混合系统的正式建模、分析和验证。 （英语） Zbl 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）
全文： 内政部
乌里·法伦贝格；Larsen，Kim G。；Legay、Axel

实时系统的基于模型的验证、优化、综合和性能评估。 （英语） Zbl 1445.68132号

刘志明（主编）等，《程序设计理论与形式工程方法的统一》。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林：斯普林格。莱克特。票据计算。科学。8050, 67-108 (2013).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{U.Fahrenberg}等人，Lect。票据计算。科学。8050，67--108（2013；Zbl 1445.68132）
全文： 内政部 哈尔
奥拉夫·格雷瑟；巴拉斯·库马尔；奥利弗·尼格曼；纳塔莉亚·莫里斯；亚历山大·迈尔

AutomationML是生产设备离线和实时模拟以及异常检测的共享模型。 （英语） Zbl 1308.93171号

Ferrier，Jean-Louis（编辑）等人，《控制、自动化和机器人信息学》。2011年7月28日至31日，荷兰诺德威克霍特，第八届国际会议，ICINCO 2011。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-31352-3/hbk；978-3-442-31353-0/电子书）。电气工程课堂讲稿174195-209（2013）。
MSC公司：93立方厘米 90B25型 90B30型
PDF格式BibTeX公司 XML格式引用
\textit{O.Graeser}等人，莱克特。注释Electr。工程174195-209（2013；Zbl 1308.93171）
全文： 内政部
赵恒军；詹乃军；迪帕克·卡普尔

通过生成不变量来综合混合系统的开关控制器。 （英语） Zbl 1390.68316号

刘志明（主编）等，《程序设计理论与形式化方法》。纪念何继峰70岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。计算机科学课堂讲稿8051，354-373（2013）。
MSC公司：2010年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Zhao}等人，Lect。票据计算。科学。8051、354--373（2013；Zbl 1390.68316）
全文： 内政部 arXiv公司
Stefan Kupferschmid；贝恩德·贝克尔

非线性约束条件下的克雷格插值。 （英语） Zbl 1348.68141号

Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，240-255（2011）。
MSC公司：60年第68季度 03C40号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{S.Kupferschmid}和\textit{B.Becker}，莱克特。票据计算。科学。6919240-255（2011年；Zbl 1348.68141）
全文： 内政部
亚历山大·戴维；Larsen，Kim G。；Legay、Axel；马吕斯·米库奇奥尼斯；波尔森，丹尼·博格斯特德；乔纳斯·范弗利特；王，郑

定价时间自动机网络的统计模型检验。 （英语） Zbl 1348.68130号

Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，80-96（2011）。
MSC公司：60年第68季度 65年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.David}等人，Lect。票据计算。科学。6919、80-96（2011年；Zbl 1348.68130）
全文： 内政部
戴安娜·菲舍尔；凯撒，乌卡斯

线性混杂系统上定量演算的模型检验。 （英语） Zbl 1333.68178号

Aceto，Luca（编辑）等人，《自动化，语言和编程》。2011年7月4日至8日，瑞士苏黎世，第38届国际学术讨论会，ICALP 2011。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-22011-1/pbk）。计算机科学课堂讲稿6756，404-415（2011）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{D.Fischer}和\textit{Ł.Kaiser}，莱克特。票据计算。科学。6756、404--415（2011年；Zbl 1333.68178）
全文： 内政部 arXiv公司 链接
Kohei Suenaga公司；一郎·哈索

用无穷小编程：aWhile期间-混合系统建模语言。 （英语） Zbl 1333.68181号

Aceto，Luca（编辑）等人，《自动化，语言和编程》。2011年7月4日至8日，瑞士苏黎世，第38届国际学术讨论会，ICALP 2011。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-22011-1/pbk）。计算机科学课堂讲稿6756，392-403（2011）。
MSC公司：60年第68季度 03B70号 03H10年上半年 68号30
PDF格式BibTeX公司 XML格式引用
\textit{K.Suenaga}和\textit{I.Hasuo}，莱克特。票据计算。科学。67563392-403（2011年；兹bl 1333.68181）
全文： 内政部
苏米特·库马尔·贾阿；克里斯托弗·詹姆斯·兰米德

使用统计模型检查和抽象求精对生化系统随机模型进行综合和不可行性分析。 （英语） Zbl 1211.92021号

西奥。计算。科学。 412，第21号，2162-2187（2011）.
MSC公司：92C40型 92立方厘米 60J20型 62页第10页 65C20个 99年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.K.Jha}和\textit{C.J.Langmead}，Theor。计算。科学。412，第21号，2162--2187（2011；Zbl 1211.92021）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件