JiříBarnat;伊万娜·乔纳;贾纳·Tůmová 验证退化系统。 (英语) Zbl 1399.68070号 计算。通知。 第3期第31期第507-530页(2012年).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Barnat}等人,计算。通知。31,第3号,507--530(2012;Zbl 1399.68070)
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);乔纳森·塞德伯格 定时有损信道系统。 (英语) Zbl 1354.68163号 D’Souza,Deepak(编辑)等人,IARCS软件技术和理论计算机科学基础年会(FSTTCS 2012)。根据2012年12月15日至17日在印度海得拉巴举行的第三十二届会议上的发言选出的论文。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-47-7)。LIPIcs–莱布尼茨国际信息学论文集18,374-386(2012)。MSC公司:60年第68季度 68个M12 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,LIPIcs——莱布尼茨国际程序。通知。18、374--386(2012年;Zbl 1354.68163) 全文: 内政部
Arpit Sharma公司;Joost-Pieter卡托恩 马尔可夫链上的加权集总性。 (英语) Zbl 1336.68186号 Clarke,Edmund(编辑)等人,《系统信息学的观点》。2011年6月27日至7月1日,俄罗斯新西伯利亚,第八届安德烈·埃尔肖夫国际纪念大会,PSI 2011。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-29708-3/pbk)。计算机科学课堂讲稿7162322-339(2012)。MSC公司:68问题85 60年28日 第68季度第45季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Sharma}和\textit{J.-P.Katoen},莱克特。注释计算。科学。7162、322--339(2012年;Zbl 1336.68186) 全文: 内政部
纳塔莉·伯特兰;Legay、Axel;苏菲·平奇纳特;Jean-Baptiste Raclet女士 基于定时组件设计的模态事件块规范。 (英语) Zbl 1264.68053号 科学。计算。程序。 77,第12期,1212-1234(2012).MSC公司:68号30 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,科学。计算。程序。77,第12号,1212--1234(2012;Zbl 1264.68053) 全文: 内政部
阿诺德·菲埃茨克;克里斯托夫·韦登巴赫 叠加作为时间自动机的决策过程。 (英语) Zbl 1262.68159号 数学。计算。科学。 6,第4期,409-425(2012).MSC公司:第68页第15页 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Fietzke}和\textit{C.Weidenbach},数学。计算。科学。6,编号4409-425(2012年;兹bl 1262.68159) 全文: 内政部
S.Ajesh巴布;帕里托什·K·潘迪亚。 Chop表达式和离散持续时间演算。 (英语) Zbl 1256.68096号 D’Souza,Deepak(编辑)等人,自动机理论的现代应用。献给普里蒂·尚卡尔教授。引言:莱因哈德·威廉姆。新泽西州哈肯萨克:世界科学;班加罗尔:IISc出版社(ISBN 978-981-4271-04-2/hbk;978-981-4271-05-9/电子书)。IISc研究专著系列2,229-256(2012)。MSC公司:第68季度第45季度 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Babu}和\textit{P.K.Pandya},IISc Res.Monogr。序列号。229--256(2012;Zbl 1256.68096) 全文: 内政部
帕里托什·K·潘迪亚。;P.Vijay苏曼 时间自动机简介。 (英语) Zbl 1256.68111号 D’Souza,Deepak(编辑)等人,自动机理论的现代应用。献给普里蒂·尚卡尔教授。引言:莱因哈德·威廉姆。新泽西州哈肯萨克:世界科学;班加罗尔:IISc出版社(ISBN 978-981-4271-04-2/hbk;978-981-4271-05-9/电子书)。IISc研究专著系列2,111-146(2012)。MSC公司:第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.K.Pandya}和\textit{P.V.Suman},IISc Res.Monogr。序列号。2111-146(2012;Zbl 1256.68111) 全文: 内政部
李国强;蔡晓娟;袁,Shoji 使用互斥组件对实时系统进行建模和分析。 (英语) Zbl 1255.68101号 发现的国际期刊。计算。科学。 23,第4号,831-852(2012).MSC公司:68问题85 68平方米 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Li}等人,国际期刊发现。计算。科学。23,第4号,831--852(2012;Zbl 1255.68101) 全文: 内政部
乔纳斯·里纳斯;舒普,西比尔 Zeno的静态检测在UPPAAL网络中运行,基于同步矩阵和两个数据变量启发式。 (英语) Zbl 1374.68298号 Jurdziñski,Marcin(ed.)等人,时间系统的形式化建模和分析。2012年9月18日至20日,第十届国际会议,FORMATS 2012,英国伦敦。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33364-4/pbk)。《计算机科学讲义》7595220-235(2012)。MSC公司:60年第68季度 68平方米 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Rinast}和\textit{S.Schupp},莱克特。注释计算。科学。7595、220-235(2012年;Zbl 1374.68298) 全文: 内政部
卡特、丽贝卡;伊娃·M·纳瓦罗·洛佩斯。 动态驱动的时间自动机抽象,用于证明连续系统的活性。 (英语) Zbl 1375.68072号 Jurdziñski,Marcin(ed.)等人,时间系统的形式化建模和分析。2012年9月18日至20日,第十届国际会议,FORMATS 2012,英国伦敦。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33364-4/pbk)。计算机科学课堂讲稿7595,59-74(2012)。MSC公司:第68季度第45季度 37B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{R.Carter}和\textit{E.M.Navarro-López},莱克特。注释计算。科学。7595,59-74(2012;Zbl 1375.68072) 全文: 内政部
新墨西哥州沙巴迪纳。;R.F.加利姆林。 关于为具有超时的非确定性有限状态机派生测试套件。 (英语。俄文原件) Zbl 1252.68080号 程序。计算。柔和。 38,第3期,127-133(2012); 译自Programmirovanie 38,No.3(2012)。MSC公司:68号30 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{N.V.Shabaldina}和\textit{R.F.Galimullin},程序。计算。柔和。38,第3号,127--133(2012;Zbl 1252.68080);译自Programmirovanie 38,No.3(2012) 全文: 内政部
纳塔莉·伯特兰;蒂埃里·杰伦;阿梅利·施泰纳;莫伊斯·克里钦 非确定性时间自动机的离线测试选择与测试目的。 (英语) Zbl 1248.68319号 日志。方法计算。科学。 8,第4号,第9号论文,33页(2012年).MSC公司:60年第68季度 68号30 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,日志。方法计算。科学。8,第4号,第9号论文,33页(2012;Zbl 1248.68319) 全文: 内政部
桑迪·巴拉格;托马斯·查泰恩;斯特凡·哈尔 从时间Petri网到时间自动机网络的保并发转换。 (英语) Zbl 1252.68200号 形式方法系统。设计。 40,第3号,330-355(2012). 审核人:约格·德塞尔(哈根) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Balaguer}等人,《表格方法系统》。设计。40,第3号,330-355(2012;Zbl 1252.68200) 全文: 内政部
弗雷德里克·赫布雷托;Srivathsan,B。;伊戈尔·瓦卢基维奇 定时Büchi自动机的有效空性检查。 (英语) Zbl 1247.68143号 形式方法系统。设计。 40,第2期,122-146(2012).MSC公司:第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Herbreteau}等人,《形式方法系统》。设计。40、第2号、第122号——146(2012;Zbl 1247.68143) 全文: 内政部 arXiv公司
贝拉德,贝特里奇;谢尔盖·哈达德;马修·萨索拉斯 中断时间自动机:验证和表达。 (英语) Zbl 1247.68124号 形式方法系统。设计。 40,第1期,41-87(2012).MSC公司:第68季度第45季度 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,《形式方法系统》。设计。40,编号1,41-87(2012年;兹bl 1247.68124) 全文: 内政部 arXiv公司
桑迪·巴拉格;托马斯·查泰恩 避免时间自动机网络中的共享时钟。 (英语) Zbl 1364.68274号 Koutny,Maciej(编辑)等,CONCUR 2012–并发理论。第23届国际会议,2012年CONCUR,英国泰恩河畔纽卡斯尔,2012年9月4-7日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32939-5/pbk)。计算机科学课堂讲稿7454,100-114(2012)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Balaguer}和\textit{T.Chatain},莱克特。注释计算。科学。7454,100-114(2012;Zbl 1364.68274) 全文: 内政部 arXiv公司
帕里斯(Pawe Parys);伊戈尔·瓦卢基维奇 弱交替时间自动机。 (英语) Zbl 1258.03047号 日志。方法计算。科学。 8,第3号,第18号论文,27页(2012年).MSC公司:05年3月 03B25号 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Parys}和\textit{I.Walukiewicz},日志。方法计算。科学。8,第3号,第18号论文,27页(2012;Zbl 1258.03047) 全文: 内政部 arXiv公司
佛朗哥Cicirelli;安吉洛·富法罗;尼格罗、利贝罗 使用时间流Petri网和UPPAAL公司. (英语) 兹比尔1252.68190 申请。数学。计算。 218,第16号,8160-8186(2012).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Cicirelli}等人,应用。数学。计算。218、16号、8160--8186(2012;Zbl 1252.68190) 全文: 内政部
鲁,齐;迈克尔·马德森;马丁·米拉塔;瑟伦·瑞文;乌里·法伦贝格;拉森,金·G。 基于max-plus代数的时间自动机可达性分析。 (英语) Zbl 1279.68214号 J.日志。阿尔盖布。程序。 81,第3号,298-313(2012).MSC公司:60年第68季度 第68季度第45季度 15A80型 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{Q.Lu}等人,J.Log。阿尔盖布。程序。81,第3号,298--313(2012;Zbl 1279.68214) 全文: 内政部
哈桑·莫塔列比;穆罕默德·阿卜杜拉希·阿兹戈米 使用多奇异混合Petri网对混合动态系统进行建模和验证。 (英语) Zbl 1262.68139号 西奥。计算。科学。 446, 48-74 (2012).MSC公司:68问题85 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Motallebi}和\textit{M.A.Azgomi},Theor。计算。科学。446、48--74(2012;Zbl 1262.68139) 全文: 内政部
阿克西,S。;布莱斯·基内斯特;洛依茨海露;杨少发 时间约束MSC图的正则代表集。 (英语) Zbl 1243.68218号 Inf.流程。莱特。 112,编号14-15,592-598(2012).MSC公司:68问题85 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人,《Inf.过程》。莱特。112,No.14--15,592--598(2012;Zbl 1243.68218) 全文: 内政部 哈尔
斯蒂芬妮·坎佩尔 基于SAT的定时组件连接器验证。 (英语) Zbl 1279.68212号 科学。计算。程序。 77,编号7-8,779-798(2012).MSC公司:60年第68季度 68T20型 第68季度第45季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Kemper},科学。计算。程序。77,编号7--8,779--798(2012;Zbl 1279.68212) 全文: 内政部
四川省韦尔市;马蒂伊斯·德·威德;塞斯·维特芬 从标记数据中有效识别确定性实时自动机。 (英语) Zbl 1238.68135号 机器。学习。 86,第3号,295-333(2012).MSC公司:68T05型 第68季度第45季度 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{S.Verwer}等人,马赫。学习。86,第3号,295--333(2012;Zbl 1238.68135) 全文: 内政部
法拉纳克·海达尔;朱利安·施马耳茨;Vaandrager,Frits公司 无线传感器网络时钟同步协议分析。 (英语) Zbl 1307.68009号 西奥。计算。科学。 413,第1期,87-105(2012).MSC公司:68米14 68M10个 68个M12 第68季度第45季度 60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{F.Heidarian}等人,Theor。计算。科学。413,编号1,87-105(2012年;兹bl 1307.68009) 全文: 内政部