×

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

最新的 引文 关联
伯克·西里西;康斯坦丁·埃纳;阿扎德法尔赞;苏哈·奥尔洪

有状态部分顺序缩减的实用方法。 （英语） Zbl 1529.68156号

Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16日至17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 129-154 (2023).
MSC公司：60年第68季度 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Cirisci}等人，Lect。注释计算。科学。13881、129--154（2023年；Zbl 1529.68156）
全文： 内政部 arXiv公司
丹尼尔·格纳德;简·埃森胡特;卢赫·拉富恩特，阿尔贝托;霍夫曼，约格

模型检查\（\omega \）-具有解耦搜索的常规属性。 （英语） Zbl 1493.68208号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 411-434 (2021).
MSC公司：60年第68季度 65年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{D.Gnad}等人，Lect。注释计算。科学。12760，411--434（2021；Zbl 1493.68208）
全文： 内政部
普拉图什·阿加瓦尔;克里希南德·查特吉;Shreya Pathak;安德烈亚斯·帕夫罗甘尼斯;维克多·托曼

读-值-自等价下的无状态模型检查。 （英语） Zbl 1493.68200号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759341-366（2021年）。
MSC公司：60年第68季度 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Agarwal}等人，Lect。注释计算。科学。12759、341--366（2021年；Zbl 1493.68200）
全文： 内政部 arXiv公司
弗雷德里克·伯内兰。;彼得·詹森（Peter G.Jensen）。;Larsen，Kim G。;马尔科·穆尼兹;吉·斯尔巴

针对时间可达性和安全游戏的顽固集缩减。 （英语） Zbl 07497999号

Dima，Catalin（编辑）等人，定时系统的形式化建模和分析。第19届国际会议，FORMATS 2021，巴黎，法国，2021年8月24-26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12860, 32-49 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{F.M.Bönneland}等人，Lect。注释计算。科学。12860，32-49（2021；Zbl 07497999）
全文： 内政部
弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;金·古德斯特兰·拉森;马尔科·穆尼兹;吉·斯尔巴

两层可达博弈的顽固集约简。 （英语） Zbl 1501.68002号

日志。方法计算。科学。 17，第1号，第21号文件，第26页（2021）.
审核人：马可·贝尼尼（科莫）
MSC公司：68问题85 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit｛F.M.Bønneland｝等人，日志。方法计算。科学。17，第1号，第21号论文，第26页（2021；Zbl 1501.68002）
全文： arXiv公司 链接
托马斯·内勒;Tim A.C.Willemse。;威格·威瑟林克

奇偶对策的部分阶约简及其在参数化布尔方程系统上的应用。 （英语） Zbl 1483.68201号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12079, 307-324 (2020).
MSC公司：60年第68季度 03B70号 68问题85 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{T.Neele}等人，Lect。注释计算。科学。12079、307--324（2020；Zbl 1483.68201）
全文： 内政部
托马斯·内勒;安蒂·瓦尔马里;Tim A.C.Willemse。

口吃保护性偏序减少的标签不一致问题。 （英语） Zbl 07250953号

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077, 482-501 (2020).
MSC公司：68牛顿 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{T.Neele}等人，Lect。注释计算。科学。12077、482--501（2020；Zbl 07250953）
全文： 内政部 arXiv公司
大卫·M·卡恩。;霍夫曼，简

指数自动摊销资源分析。 （英语） Zbl 07250947号

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077, 359-380 (2020).
MSC公司：68牛顿 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Kahn}和\textit{J.Hoffmann}，莱克特。注释计算。科学。12077、359--380（2020；Zbl 07250947）
全文： 内政部 arXiv公司
Anh的Pham;蒂埃里·杰伦;马丁·昆森

异步分布式程序的基于展开的动态部分降阶。 （英语） Zbl 07800287号

Pérez，Jorge A.（编辑）等人，分布式对象、组件和系统的形式化技术。第39届IFIP WG 6.1国际会议，2019年FORTE，作为第14届分布式计算技术国际联合会议的一部分，于2019年6月17日至21日在丹麦Kongens Lyngby举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11535, 224-241 (2019).
MSC公司：68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.A.Pham}等人，Lect。注释计算。科学。11535、224--241（2019；Zbl 07800287）
全文： 内政部 哈尔
丹尼尔·格纳德;帕特里克·杜伯特;卢赫·拉富恩特，阿尔贝托;霍夫曼，约格

SPIN中的星战解耦。 （英语） Zbl 1508.68331号

del Mar Gallardo，María（编辑）等人，《模型检查软件》。2018年6月20日至22日在西班牙马拉加举行的2018年SPIN第25届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10869, 103-114 (2018).
MSC公司：68T20型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Gnad}等人，Lect。注释计算。科学。10869、103-114（2018年；Zbl 1508.68331）
全文： 内政部 链接
大卫·巴尔德;德莱恩，斯特凡尼;卢卡·赫斯基

安全协议等价物的POR。超越行动决定。 （英语） Zbl 1496.68055号

Lopez，Javier（编辑）等人，《计算机安全》。第23届欧洲计算机安全研究研讨会，2018年ESORICS，西班牙巴塞罗那，2018年9月3-7日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11098385-405（2018）。
MSC公司：68平方米25 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{D.Baelde}等人，Lect。注释计算。科学。11098，385--405（2018；Zbl 1496.68055）
全文： 内政部 arXiv公司
樊楚楚;黄振奇;萨扬·密特拉

近似部分订单减少。 （英语） Zbl 1460.68070号

Havelund，Klaus（编辑）等人，《形式方法》。2018年7月15日至17日，作为联邦逻辑会议的一部分，在英国牛津举行了2018年第22届国际研讨会（FM 2018）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10951, 588-607 (2018).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Fan}等人，Lect。注释计算。科学。10951、588--607（2018；Zbl 1460.68070）
全文： 内政部 arXiv公司
阿尔蒂·古普塔;维尼特·卡隆;沙兹·卡迪尔;泰瑟·图利

模型检查并发程序。 （英语） Zbl 1392.68251号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。573-611 (2018).
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Gupta}等人，in：模型检查手册。查姆：斯普林格。573--611（2018；Zbl 1392.68251）
全文： 内政部
拉斐尔·莫纳特;安托万·米内

使用关系干扰抽象对并发程序进行精确的线程模块抽象解释。 （英语） Zbl 1484.68050号

Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10145, 386-404 (2017).
MSC公司：68号30 68甲19 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Monat}和\textit{A.Miné}，莱克特。注释计算。科学。10145386-404（2017年；兹比尔1484.68050）
全文： 内政部 哈尔
亨宁·Günther;阿尔芬斯·拉阿尔曼;安娜·索科洛娃;乔治·威森巴赫

模型检查并发软件的动态缩减。 （英语） 兹比尔1484.68102

Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10145, 246-265 (2017).
MSC公司：60年第68季度 68甲19 68号30
PDF格式BibTeX公司 XML格式引用
\textit{H.Günther}等人，Lect。注释计算。科学。10145246--265（2017；Zbl 1484.68102）
全文： 内政部 arXiv公司
维杰·德·席尔瓦;丹尼尔·克罗宁;马塞洛·索萨

独立抽象和并发模型。 （英语） Zbl 1484.68140号

Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10145, 151-168 (2017).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.D'Silva}等人，Lect。注释计算。科学。10145，151--168（2017；Zbl 1484.68140）
全文： 内政部
埃里克·古堡;托拜厄斯·海因德尔;塞缪尔·米姆拉姆

偏序降阶的几何视图。 （英语） Zbl 1334.68133号

Kozen，Dexter（ed.）等人，第29届编程语义数学基础会议论文集（MFPS XXIX），美国洛杉矶新奥尔良，2013年6月。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》298179-195（2013）。
MSC公司：60年第68季度 68问题65 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.Goubault}等人，《电子》。理论注释。计算。科学。298179-195（2013年；Zbl 1334.68133）
全文： 内政部
亨利·汉森;王旭

关于事件的起源：将细胞分支为顽固的集合。 （英语） Zbl 1330.68204号

Kristensen，Lars M.（编辑）等人，《Petri网的应用和理论》。2011年6月20日至24日，英国纽卡斯尔，第32届国际会议，PETRI NETS 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21833-0/pbk）。计算机科学课堂讲稿6709248-267（2011）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Hansen}和\textit{X.Wang}，Lect。注释计算。科学。6709248--267（2011年；Zbl 1330.68204）
全文： 内政部
亚历山德罗·西马蒂;伊曼·纳拉萨姆迪亚;马可·罗维里

通过部分降阶提升SystemC的惰性抽象。 （英语） 兹比尔1316.68072

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605341-356（2011）。
MSC公司：60年第68季度 68-04
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}等人，Lect。注释计算。科学。6605341--356（2011；Zbl 1316.68072）
全文： 内政部
安托万·米内

嵌入式关键并行C程序中运行时错误的静态分析。 （英语） Zbl 1239.68021号

Barthe，Gilles（编辑），《编程语言和系统》。2011年3月26日至4月3日，在德国萨尔布吕肯举行的第20届欧洲编程研讨会（ESOP 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19717-8/pbk）。计算机科学讲义6602398-418（2011）。
MSC公司：68甲19
PDF格式BibTeX公司 XML格式引用
\textit{A.Miné}，莱克特。注释计算。科学。6602398--418（2011年；Zbl 1239.68021）
全文： 内政部 arXiv公司
斯蒂芬·西格尔（Stephen F.Siegel）。;蒂莫西·齐科尔。

集体主张。 （英语） Zbl 1317.68035号

Jhala，Ranjit（编辑）等人，《验证、模型检查和抽象解释》。2011年1月23日至25日，第12届国际会议，VMCAI 2011，美国德克萨斯州奥斯汀。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-18274-7/pbk）。计算机科学课堂讲稿6538，387-402（2011）。
MSC公司：68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.F.Siegel}和\textit{T.K.Zirkel}，莱克特。注释计算。科学。6538，387--402（2011；Zbl 1317.68035）
全文： 内政部
奥德·马勒

Amir Pnueli和混合系统的黎明。 （英语） Zbl 1360.68005号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。293-295 (2010).
MSC公司：68-03 01A60型 01A70号 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Maler}，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。293-295（2010年；Zbl 1360.68005）
全文： 内政部
上帝保佑，安德鲁·B。;S.Shankar，萨斯特里

使用极坐标的平面切换线性系统的稳定性。 （英语） Zbl 1360.93599号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。283-292 (2010).
MSC公司：93D20型 93立方
PDF格式BibTeX公司 XML格式引用
\textit{A.B.Godsheere}和\textit{S.S.Sastry}，摘自：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。283--292（2010年；Zbl 1360.93599）
全文： 内政部
胡，江海;沈景来;张伟

离散时间切换线性系统稳定性的生成函数方法。 （英语） Zbl 1360.93602号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。273-282 (2010).
MSC公司：93D20型 93立方
PDF格式BibTeX公司 XML格式引用
\textit{J.Hu}等人，in：《第13届ACM混合系统国际会议论文集：计算与控制》，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。273-282（2010年；兹比尔1360.93602）
全文： 内政部
Koutroumpas、Konstantinos;约翰·莱杰罗斯

使用HIOA对随机混合系统进行建模和验证：DNA复制的案例研究。 （英语） Zbl 1360.92044号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。263-272 (2010).
MSC公司：92C40型 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Koutroumpas}和\textit{J.Lygeros}，in：第13届ACM混合系统国际会议论文集：计算和控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。263-272（2010年；兹比尔1360.92044）
全文： 内政部
费德里科·兰波尼;黛巴西什·查特吉;肖恩·萨默斯;约翰·莱杰罗斯

关于PCTL与动态编程之间的联系。 （英语） Zbl 1361.68150号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。253-262 (2010).
MSC公司：60年第68季度 03B44号 60J22型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{F.Ramponi}等人，《第13届ACM混合系统国际会议论文集：计算与控制》，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。253--262（2010年；Zbl 1361.68150）
全文： 内政部 arXiv公司
保罗·祖利亚尼;安德烈·普拉泽;埃德蒙·克拉克（Edmund M.Clarke）。

贝叶斯统计模型检查及其在Simulink/Stateflow验证中的应用。 （英语） Zbl 1361.68154号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。243-252 (2010).
MSC公司：60年第68季度 62C10个 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Zuliani}等人，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。243-252（2010年；Zbl 1361.68154）
全文： 内政部
阿泽尔·贝斯塔夫罗斯;阿萨夫省克富尔;笔记本电脑，安德烈;迈克尔·J·奥森。

安全合成网络草图：正式框架。 （英语） Zbl 1361.68134号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。231-241 (2010).
MSC公司：60年第68季度 68M10个 90B10型
PDF格式BibTeX公司 XML格式引用
\textit{A.Bestavros}等人，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。231--241（2010年；Zbl 1361.68134）
全文： 内政部
桑卡拉纳拉亚南，斯里拉姆

利用理想不动点自动生成混合系统的不变量。 （英语） Zbl 1360.34082号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。221-230 (2010).
MSC公司：34立方厘米 13N10型 34A38型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛S.Sankaranarayanan｝，在：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。221--230（2010年；Zbl 1360.34082）
全文： 内政部
特朗·恩吉姆;桑卡拉纳拉亚南，斯里拉姆;乔治·费内科斯;弗兰乔·伊万奇;阿尔蒂·古普塔;乔治·帕帕斯。

非线性混合系统时间特性证伪的蒙特卡罗技术。 （英语） Zbl 1361.68149号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。211-220 (2010).
MSC公司：60年第68季度 65二氧化碳
PDF格式BibTeX公司 XML格式引用
\textit{T.Nghiem}等人，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。211-220（2010；Zbl 1361.68149）
全文： 内政部
Purkayastha、Punyaslok;约翰·巴拉斯。

蚂蚁路由算法通过随机近似的收敛结果。 （英语） Zbl 1361.68013号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。201-210 (2010).
MSC公司：68M10个 68平方米 68T05型 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{P.Purkayastha}和\textit{J.S.Baras}，摘自：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。201-210（2010；Zbl 1361.68013）
全文： 内政部
安妮·凯瑟琳·赫斯;安德斯·兰泽

移动设备自定位的分布式卡尔曼滤波算法。 （英语） Zbl 1360.94074号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。191-200（2010年）。
MSC公司：94甲12
PDF格式BibTeX公司 XML格式引用
\textit{A.-K.Hess}和\textit{A.Rantzer}，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。191-200（2010年；Zbl 1360.94074）
全文： 内政部
Heemels，W P.M.H。;内森·范德沃;Rob H.Gielen。;唐克斯，M.C.F。;劳伦蒂·赫特尔;索林·奥拉鲁;米尔恰·拉扎尔;贾马尔·达夫兹;西尔维乌·尼古列斯库

网络控制系统稳定性分析中过逼近方法的比较。 （英语） Zbl 1360.93521号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。181-190 (2010).
MSC公司：93D09型 93B40码
PDF格式BibTeX公司 XML格式引用
\textit{W P.M.H.Heemels}et al.，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，斯德哥尔摩，瑞典，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。181-190（2010年；Zbl 1360.93521）
全文： 内政部
阿明，索拉巴;泽维尔·利特里科;S.Shankar，萨斯特里;亚历山大·巴恩（Alexandre M.Bayen）。

对水SCADA系统的秘密欺骗攻击。 （英语） Zbl 1360.93315号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。161-170 (2010).
MSC公司：93C20美元 76B15号机组 93甲13 93C85号 93D21号
PDF格式BibTeX公司 XML格式引用
\textit{S.Amin}等人，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。161-170（2010年；Zbl 1360.93315）
全文： 内政部
埃里克·D·B·温德尔。;亚伦·D·艾姆斯。

混合系统Poincaré映射的秩性质及其在两足步行中的应用。 （英语） Zbl 1360.37066号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。151-160 (2010).
MSC公司：37C55美元 34A38型 70B15号机组 70K42型
PDF格式BibTeX公司 XML格式引用
\textit{E.D.B.Wendel}和\textit{A.D.Ames}，in：第13届ACM混合系统国际会议论文集：计算和控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。151-160（2010年；Zbl 1360.37066）
全文： 内政部
米哈利·彼得雷茨基;洛朗·巴科;van Schuppen，Jan H。

离散时间线性切换系统的可辨识性。 （英语） Zbl 1360.93187号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。141-150 (2010).
MSC公司：93B30型 93B20型 93立方 93C55美元
PDF格式BibTeX公司 XML格式引用
\textit{M.Petreczky}等人，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。141-150（2010年；Zbl 1360.93187）
全文： 内政部
米尔恰·拉扎尔;安德烈·乔基奇

关于作为Lyapunov函数的分段仿射系统的无穷范数。 （英语） Zbl 1360.93554号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。131-140 (2010).
MSC公司：93D15号 93立方 93D20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Lazar}和\textit{A.Jokić}，in：第13届ACM混合系统国际会议论文集：计算和控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。131-140（2010年；Zbl 1360.93554）
全文： 内政部 链接
鹿岛，Kenji;川村康树;Jun-ichi Imura公司

线性耦合分段仿射系统的振动分析。 （英语） Zbl 1360.92047号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。121-130 (2010).
MSC公司：92立方厘米 34A60型 34立方厘米 2005年第34天 35B05型 35立方米
PDF格式BibTeX公司 XML格式引用
\textit{K.Kashima}等人，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。121-130（2010年；Zbl 1360.92047）
全文： 内政部
安托万·吉拉德

使用近似双相似抽象、状态反馈控制器进行安全规范的综合。 （英语） Zbl 1361.68147号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。111-120 (2010).
MSC公司：60年第68季度 68问题85 93B52号
PDF格式BibTeX公司 XML格式引用
\textit{A.Girard}，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。111-120（2010年；Zbl 1361.68147）
全文： 内政部
Tichakorn的Wongpiromsarn;乌富克托普库;理查德·默里（Richard M.Murray）。

时序逻辑规范的递减范围控制。 （英语） Zbl 1360.68605号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。101-110 (2010).
MSC公司：60年第68季度 93元65角
PDF格式BibTeX公司 XML格式引用
\textit{T.Wongpiromsarn}等人，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，斯德哥尔摩，瑞典，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。101-110（2010年；Zbl 1360.68605）
全文： 内政部
大卫，亚历山大;Larsen，Kim G。;Legay、Axel;乌尔里克·尼曼;安杰伊·瓦索夫斯基

时间I/O自动机：实时系统的完整规范理论。 （英语） Zbl 1361.68143号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。91-100 (2010).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.David}等人，摘自：《第13届ACM混合系统国际会议论文集：计算与控制》，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。91-100（2010年；Zbl 1361.68143）
全文： 内政部
维杰·古普塔

关于时变处理器可用性的控制算法。 （英语） Zbl 1360.93455号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。81-90 (2010).
MSC公司：93C83号 93C55美元
PDF格式BibTeX公司 XML格式引用
\textit{V.Gupta}，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。81-90（2010年；Zbl 1360.93455）
全文： 内政部
普拉帕蓬·拉特纳塔姆荣;Jose A.B.Fortes。

资源有限的专家混合系统的实时调度。 （英语） Zbl 1361.68022号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。71-80 (2010).
MSC公司：68平方米 68T20型 90B35型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{P.Rattanatamrong}和\textit{J.A.B.Fortes}，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。71-80（2010年；Zbl 1361.68022）
全文： 内政部
帕特里夏·鲍耶;乌里·法伦贝格;Larsen，Kim G。;尼古拉斯·马基

能量约束下带观测器的时间自动机。 （英语） Zbl 1361.68135号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。61-70 (2010).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。61-70（2010年；Zbl 1361.68135）
全文： 内政部
亨贝托·冈萨雷斯;拉姆·瓦苏德万;玛丽亚姆·坎加普尔;S.Shankar，萨斯特里;Ruzena Bajcsy;克莱尔·汤姆林。

一种用于约束非线性切换动力系统最优控制的下降算法。 （英语） Zbl 1360.49023号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。51-60 (2010).
MSC公司：49立方米 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{H.Gonzalez}等人，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。51-60（2010年；Zbl 1360.49023）
全文： 内政部
科尔斯汀·鲍尔;克劳斯·施耐德

从同步程序到混合系统的符号表示。 （英语） Zbl 1361.68057号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。41-50 (2010).
MSC公司：68号30 68甲15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Bauer}和\textit{K.Schneider}，in：第13届ACM混合系统国际会议论文集：计算和控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。41-50（2010年；Zbl 1361.68057）
全文： 内政部
Joris Sijs先生;米尔恰·拉扎尔;Heemels，W.P.M.H。

在反馈回路中集成基于事件的估计和鲁棒MPC。 （英语） Zbl 1360.93440号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。31-40 (2010).
MSC公司：93元65角 93B40码
PDF格式BibTeX公司 XML格式引用
\textit｛J.Sijs｝等人，在：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。31-40（2010年；Zbl 1360.93440）
全文： 内政部
弗洛里安·科伯;范德沙夫特，阿尔扬

线性控制系统的组成分析。 （英语） Zbl 1360.93279号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。21-30 (2010).
MSC公司：93立方厘米05 60年第68季度 93年第14页
PDF格式BibTeX公司 XML格式引用
\textit{F.Kerber}和\textit{A.van der Schaft}，in：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。21-30（2010年；Zbl 1360.93279）
全文： 内政部 链接
Thao Dang先生;奥德·马勒;罗曼·泰斯特利耶

非线性系统的精确混合。 （英语） Zbl 1360.93083号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。11-19 (2010).
MSC公司：93个B03 65日第15天 93B40码
PDF格式BibTeX公司 XML格式引用
\textit｛T.Dang｝等人，在：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。11-19（2010年；Zbl 1360.93083）
全文： 内政部
蒂亚加拉扬，P.S。;杨少发

分布式混合自动机的简洁离散时间近似。 （英语） Zbl 1361.68125号

2010年4月12日至16日，瑞典斯德哥尔摩，HSCC 2010，第13届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-955-8）。1-10 (2010).
MSC公司：65年第68季度 60年第68季度 68问题85 93立方
PDF格式BibTeX公司 XML格式引用
\textit{P.S.Thiagarajan}和\textit{S.Yang}，摘自：第13届ACM混合系统国际会议论文集：计算与控制，HSCC 2010，瑞典斯德哥尔摩，2010年4月12-16日。纽约州纽约市：计算机协会（ACM）。1-10（2010年；Zbl 1361.68125）
全文： 内政部
科尔钦，A.V。

一种动态构造形式模型状态抽象的自动方法。 （英语。俄文原件） Zbl 1288.68166号

赛博。系统。分析。 46，第4期，第583-601页（2010年）；翻译自Kibern。修女。分析。2010年，第4期，70-90（2010）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\文本{A.V.Kolchin}，Cybern。系统。分析。46，No.4，583--601（2010；Zbl 1288.68166）；翻译自Kibern。修女。分析。2010年第4期，70--90（2010）
全文： 内政部
克里斯特尔·拜尔;马库斯·格勒;Frank Ciesinski先生

概率系统线性时间特性的模型检验。 （英语） Zbl 1484.68095号

Droste，Manfred（编辑）等人，《加权自动机手册》。柏林：施普林格。单声道。理论。计算。科学。，EATCS系列。，519-570 (2009).
MSC公司：60年第68季度 2010年第68季度 65年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，in：加权自动机手册。柏林：施普林格。519-570（2009年；Zbl 1484.68095）
全文： 内政部
哈尼法布切尼布;卡梅尔·巴考伊

时间Petri网的覆盖步骤图。 （英语） Zbl 1347.68254号

Habermehl，P.（ed.）等人，第八、第九和第十届无限状态系统验证国际研讨会会议记录（INFINITY 2006、2007、2008），德国波恩，2006年8月26日，葡萄牙里斯本，2007年9月8日，加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记239155-165（2009）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Boucheneb}和\textit{K.Barkaoui}，电子。理论注释。计算。科学。239155--165（2009年；Zbl 1347.68254）
全文： 内政部
杰科·盖尔登胡伊斯;亨利·汉森;安蒂·瓦尔马里

探索部分订单缩减的范围。 （英语） Zbl 1262.68120号

Liu，Zhiming（编辑）等人，验证和分析的自动化技术。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799，39-53（2009）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Geldenhuys}等人，莱克特。注释计算。科学。5799、39-53（2009年；Zbl 1262.68120）
全文： 内政部
穆纳Chaouch Saad;伯纳黛特·查伦·博斯特;斯蒂芬·默兹

用于验证基于圆的分布式算法的约简定理。 （英语） Zbl 1260.68450号

Bournez，Olivier（编辑）等人，《可达性问题》。2009年9月23日至25日，法国帕莱索，RP 2009第三届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04419-9/pbk）。计算机科学课堂讲稿579793-106（2009）。
MSC公司：68宽15 2010年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Chaouch-Saad}等人，Lect。注释计算。科学。5797、93——106（2009年；Zbl 1260.68450）
全文： 内政部
塞尔吉奥·吉罗;佩德罗·R·达吉尼奥。;费雷尔·菲奥里蒂，路易斯·玛丽亚

概率系统的部分降阶：分布式调度程序的修订。 （英语） Zbl 1254.68149号

Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710，338-353（2009）。
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛S.Giro｝等人，Lect。注释计算。科学。5710338-353（2009年；Zbl 1254.68149）
全文： 内政部
斯特凡·爱德坎普;维克多·舒潘;博什纳奇·德拉甘;安东·威伊斯;安斯加·芬克;侯赛因·阿贾扎尔

定向模型检查调查。 （英语） Zbl 1226.68042号

Peled，Doron A.（编辑）等人，《模型检查和人工智能》。2008年7月21日在希腊帕特拉斯举行的2008年MoChArt第五届国际研讨会。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-642-00430-8/pbk）。计算机科学讲义5348。人工智能课堂讲稿，65-89（2009）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Edelkamp}等人，Lect。注释计算。科学。5348、65-89（2009年；Zbl 1226.68042）
全文： 内政部 链接
杨紫江;巴沙尔·拉维;卡伦·萨卡拉;黄晓婉;斯科特·斯莫尔卡;拉杜·格罗苏

用于软件模型检查的动态路径缩减。 （英语） Zbl 1211.68103号

Leuschel，Michael（编辑）等人，《综合形式方法》。2009年2月16日至19日，第7届国际会议，IFM 2009，德国杜塞尔多夫。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00254-0/pbk）。计算机科学课堂讲稿5423，322-336（2009）。
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.Yang}等人，Lect。注释计算。科学。5423、322--336（2009年；Zbl 1211.68103）
全文： 内政部
哈门·卡斯滕贝格;阿伦德·伦辛克

使用探测集进行动态部分降阶。 （英语） Zbl 1160.68442号

van Breugel，Franck（编辑）等人，CONCUR 2008–并发理论。第19届国际会议，CONCUR 2008，加拿大多伦多，2008年8月19-22日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85360-2/pbk）。计算机科学课堂讲稿5201，233-247（2008）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Kastenberg}和\textit{A.Rensink}，莱克特。注释计算。科学。5201233-247（2008年；Zbl 1160.68442）
全文： 内政部
王超;杨瑜（Yang，Yu）;阿尔蒂·古普塔;加内什·戈帕拉克里什南

使用属性驱动剪枝进行动态模型检查以检测竞争条件。 （英语） Zbl 1183.68383号

Cha，Sungdeok（Steve）（编辑）等人，《验证和分析自动化技术》。2008年10月20日至23日，第六届国际研讨会，ATVA 2008，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。计算机科学课堂讲稿531126-140（2008）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Wang}等人，Lect。注释计算。科学。5311126-140（2008年；兹比尔1183.68383）
全文： 内政部
苏加塔·卡西亚普;维杰·加格。

使用“关键事件”制作简短反例。 （英语） Zbl 1155.68440号

Gupta，Aarti（编辑）等人，《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议，CAV 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70543-7/pbk）。计算机科学课堂讲稿5123491-503（2008）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛S.Kashyap｝和\textit｛V.K.Garg｝，Lect。注释计算。科学。5123491--503（2008年；Zbl 1155.68440）
全文： 内政部
阿卡什·拉尔;泰瑟·图利;尼古拉斯·基德;代表，托马斯

上下文约束下并发程序的跨过程分析。 （英语） Zbl 1134.68349号

Ramakrishnan，C.R.（编辑）等人，《系统构建和分析的工具和算法》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第14届国际会议TACAS 2008，是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78799-0/pbk）。计算机科学课堂讲稿4963282-298（2008）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Lal}等人，Lect。注释计算。科学。4963282-298（2008年；兹bl 1134.68349）
全文： 内政部
萨拉·格拉达拉;安东内拉·桑顿;玛丽亚·路易莎·维拉尼

通过定向模型检查对并发系统进行形式化验证。 （英语） Zbl 1335.68139号

Merz，Stephan（编辑）等人，第六届关键系统自动验证国际研讨会论文集（AVoCS 2006），法国南希，2006年9月18日至19日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记185，93-105（2007）。
MSC公司：60年第68季度 03B44号 68问题85 68T20型
PDF格式BibTeX公司 XML格式引用
\textit｛S.Gradara｝等人，电子。理论注释。计算。科学。185、93-105（2007年；Zbl 1335.68139）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件