科什卡,米兰;克里斯蒂安·亨塞尔;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 概率系统的反例引导归纳综合。 (英语) Zbl 1519.68055号 正式Asp。计算。 33,编号4-5637-667(2021).MSC公司:68号30 60年20日 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Češka}等人,正式Asp。计算。33,编号4--5,637--667(2021;Zbl 1519.68055) 全文: 内政部
马丁·塔普勒;伯恩哈德·艾切尼格(Bernhard K.Aichernig)。;乔瓦尼·巴奇;玛丽亚·艾希塞德;Larsen,Kim G。 \基于(L^\ast)的马尔可夫决策过程学习(扩展版本)。 (英语) Zbl 1519.68106号 正式Asp。计算。 33,编号4-5,575-615(2021).MSC公司:68问题32 第68季度第45季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Tappler}等人,正式Asp。计算。33,编号4--5,575--615(2021;Zbl 1519.68106) 全文: 内政部 arXiv公司 OA许可证
谢万玲;朱慧彪;徐启文 移动系统的进程演算BigrTiMo及其形式语义。 (英语) Zbl 1511.68189号 正式Asp。计算。 33,第2期,207-249(2021).MSC公司:68问题85 68号30 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Xie}等人,正式Asp。计算。33,编号2207-249(2021;兹bl 1511.68189) 全文: 内政部
乔瓦尼·巴奇;帕特里夏·布耶;乌里·法伦贝格;Larsen,Kim G。;尼古拉斯·马基;皮埃尔·阿莱·雷尼尔 基于不确定性能量时间自动机的最优鲁棒控制器综合。 (英语) Zbl 1458.93072号 正式Asp。计算。 33,编号1,3-25(2021).MSC公司:93亿B50 第68季度第45季度 68瓦30 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,《正式Asp》。计算。33,编号1,3--25(2021;Zbl 1458.93072) 全文: 内政部 arXiv公司
马尔塞洛·贝尔萨尼。;马蒂奥·索尔多;克劳迪奥·蒙吉;帕特里齐奥·佩利奇奥内;罗西,马蒂奥 PuRSUE–从机器人环境规范到控制器合成。 (英语) Zbl 1458.68218号 正式Asp。计算。 32,编号2-3,187-227(2020).MSC公司:68T40型 93亿B50 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bersani}等人,正式Asp。计算。32,编号2--3,187-227(2020;Zbl 1458.68218) 全文: 内政部 OA许可证
道格拉斯·弗雷泽;鲁本·贾昆塔;鲁思·霍夫曼;爱尔兰,穆雷;爱丽丝·米勒;格钦·诺曼 自治系统控制器综合的协作模型。 (英语) Zbl 1458.68219号 正式Asp。计算。 32,编号2-3,157-186(2020).MSC公司:68T40型 60年第68季度 93甲16 93亿B50 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{D.Fraser}等人,正式Asp。计算。32,编号2--3,157-186(2020;Zbl 1458.68219) 全文: 内政部 OA许可证
劳伦斯·C·鲍尔森。;托比亚斯·尼普科;马卡里乌斯·温泽尔 从LCF到Isabelle/HOL。 (英语) Zbl 1427.68349号 正式Asp。计算。 31,第6号,675-698(2019).MSC公司:68伏15 68-03 PDF格式BibTeX公司 XML格式引用 \textit{L.C.Paulson}等人,正式Asp。计算。31,编号:6675-698(2019;兹bl 1427.68349) 全文: 内政部 arXiv公司 OA许可证
阿列克桑达尔·迪莫夫斯基。;克劳斯·布拉布兰德;安德烈·索夫斯基 为提升分析寻找合适的变异性抽象。 (英语) Zbl 1425.68067号 正式Asp。计算。 31,2号,231-259(2019).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Dimovski}等人,《形式Asp》。计算。31,第2号,231--259(2019;Zbl 1425.68067) 全文: 内政部
李建文;张丽君;朱淑芳;浦、葛光;莫舍·瓦尔迪。;何继峰 一种用于LTL可满足性检查的显式转换系统构建方法。 (英语) Zbl 1382.68142号 正式Asp。计算。 30,第2期,193-217(2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Li}等人,正式Asp。计算。30,第2号,193--217(2018;Zbl 1382.68142) 全文: 内政部
马库斯·格霍尔德;玛丽·斯托琳加 概率系统的基于模型的测试。 (英语) Zbl 1380.68303号 正式Asp。计算。 30,第1期,77-106(2018).MSC公司:87年第68季度 68米15 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Gerhold}和\textit{M.Stoelinga},正式Asp。计算。30,第1号,77--106(2018;Zbl 1380.68303) 全文: 内政部 OA许可证
埃蒂安·安德烈;穆罕默德·马赫迪·本穆萨;克莉丝汀,杂乱无章 使用彩色Petri网对并发UML状态机进行形式化。 (英语) Zbl 1345.68226号 正式Asp。计算。 28,第5期,805-845(2016).MSC公司:68问题85 68问题55 60年第68季度 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,《正式Asp》。计算。28,第5号,805--845(2016;Zbl 1345.68226) 全文: 内政部
古斯塔沃·卡瓦略;安娜·卡瓦尔坎蒂;奥古斯托·桑帕约 根据自然语言要求对定时反应系统进行建模。 (英语) Zbl 1345.93024号 正式Asp。计算。 28,第5期,725-765(2016).MSC公司:93A30型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Carvalho}等人,《正式Asp》。计算。28,第5号,725--765(2016;Zbl 1345.93024) 全文: 内政部 链接
安东·塔拉修克;埃琳娜·特鲁比西纳;莱比尼斯·利纳斯 将随机推理集成到Event-B开发中。 (英语) Zbl 1328.68039号 正式Asp。计算。 27,第1期,53-77(2015).MSC公司:68M99型 60年20日 68米15 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Tarasyuk}等人,《正式Asp》。计算。27,No.1,53--77(2015;Zbl 1328.68039) 全文: 内政部
奥马尔·巴塔内赫;马克·雷诺兹;法语,蒂姆 加速具有循环行为的时间自动机模型的最坏情况执行时间分析。 (英语) Zbl 1328.68108号 正式Asp。计算。 27,编号5-6,917-949(2015).MSC公司:第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Al-Bataineh}等人,正式Asp。计算。27,编号5--6917--949(2015;Zbl 1328.68108) 全文: 内政部
奥尔德罗格(Ernst-Rüdiger Olderog);马尼省斯瓦米纳坦 数据丰富的实时系统的结构转换。 (英语) Zbl 1319.68150号 正式Asp。计算。 27,第4期,727-750(2015).MSC公司:68问题85 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog}和\textit{M.Swaminathan},正式Asp。计算。27,第4号,727--750(2015;Zbl 1319.68150) 全文: 内政部
苏,李;鲁道夫·戈麦斯;霍华德·鲍曼 使用通信自动机分析神经生物学模型。 (英语) Zbl 1342.92024号 正式Asp。计算。 26,第6期,1169-1204(2014).MSC公司:92B20型 第68季度第45季度 60年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{L.Su}等人,正式Asp。计算。26,第6号,1169--1204(2014;Zbl 1342.92024) 全文: 内政部
董金松;刘,杨;孙骏;张,西安 用于验证计算编排。 (英语) Zbl 1342.68209号 正式Asp。计算。 26,第4期,729-759(2014).MSC公司:60年第68季度 68英里11 68N17号 第68季度第45季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Dong}等人,《正式Asp》。计算。26,第4号,729--759(2014;Zbl 1342.68209) 全文: 内政部 链接
汤姆·波奇;什尔,昂德;弗朗蒂舍克·普拉舍尔;科夫罗,简 线程行为协议。 (英语) Zbl 1298.68066号 正式Asp。计算。 25,第4期,543-572(2013).MSC公司:68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Poch}等人,正式Asp。计算。25,第4号,543--572(2013;Zbl 1298.68066) 全文: 内政部
鲁道夫·戈麦斯 使用Uppaal完成带截止日期的模型检查时间自动机。 (英语) Zbl 1259.68126号 正式Asp。计算。 25,第2期,289-318(2013).MSC公司:60年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Gómez},正式Asp。计算。25,第2号,289--318(2013;Zbl 1259.68126) 全文: 内政部
索尼娅·乔治耶夫斯卡;苏珊娜·安多瓦 概率可能/必须测试:通过受限调度程序保留概率。 (英语) Zbl 1259.68152号 正式Asp。计算。 24,第4-6号,727-748(2012).MSC公司:87年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Georgievska}和\textit{S.Andova},正式Asp。计算。24,编号4-6727-748(2012年;兹bl 1259.68152) 全文: 内政部
Robert M.Hierons。;曼努埃尔·努涅斯 使用调度程序测试概率分布式系统。 (英语) Zbl 1259.68033号 正式Asp。计算。 24,第4-6号,679-699(2012).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Hierons}和\textit{M.Nuñez},正式Asp。计算。24、编号4--6679--699(2012;Zbl 1259.68033) 全文: 内政部
JoséN·奥利维拉。 走向线性编程代数。 (英语) Zbl 1259.68135号 正式Asp。计算。 24,编号4-6,433-458(2012).MSC公司:68问题65 68甲19 15A99号 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Oliveira},正式Asp。计算。24、编号4--6、433--458(2012;Zbl 1259.68135) 全文: 内政部 链接
安德拉德,威尔克森。;Patrícia D.L.马查多。 测试无功系统中的中断。 (英语) Zbl 1259.68031号 正式Asp。计算。 24,第3期,331-353(2012).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{W.L.Andrade}和\textit{P.D.L.Machado},正式Asp。计算。24,第3号,331--353(2012年;兹bl 1259.68031) 全文: 内政部
托马斯·沃尔;D’Silva,维杰 减少对称性的懒惰方法。 (英语) Zbl 1214.68225号 正式Asp。计算。 22,第6期,713-733(2010).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Wahl}和\textit{V.D'Silva},正式Asp。计算。22,第6号,713--733(2010;Zbl 1214.68225) 全文: 内政部 哈尔
阿德南·谢里夫;安娜·卡瓦尔坎蒂;何继峰;奥古斯托·桑帕约 实时系统规范和验证的过程代数框架。 (英语) Zbl 1214.68224号 正式Asp。计算。 22,第2期,153-191(2010).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Sherif}等人,正式Asp。计算。22,第2号,153--191(2010;Zbl 1214.68224) 全文: 内政部 哈尔
罗兰·梅耶;约翰·法伯;Jochen Hoenicke公司;安德烈·里巴尔琴科 模型检查持续时间演算:一种实用方法。 (英语) Zbl 1151.68487号 正式Asp。计算。 20,编号4-5,481-505(2008).MSC公司:60年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Meyer}等人,《正式Asp》。计算。20,编号4-5481-505(2008年;兹bl 1151.68487) 全文: 内政部
加文·洛 通信过程的规范:基于时间逻辑与拒绝的精化。 (英语) Zbl 1149.68056号 正式Asp。计算。 20,第3期,277-294(2008).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Lowe},正式Asp。计算。20,第3号,277--294(2008;Zbl 1149.68056) 全文: 内政部 链接
A.伯恩斯。;林,T.-M。 实时系统验证的工程过程。 (英语) Zbl 1111.68076号 正式Asp。计算。 19,第1期,111-136(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Burns}和\textit{T.M.Lin},正式Asp。计算。19,第1号,111--136(2007;Zbl 1111.68076) 全文: 内政部
拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 用于系统设计和分析的参数概率过渡系统。 (英语) 兹比尔1111.68084 正式Asp。计算。 19,第1期,93-109(2007).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人,《正式Asp》。计算。19,第1号,93--109(2007;Zbl 1111.68084) 全文: 内政部
范德拉格,F.W。;德格罗特,A.L。 使用Uppaal和PVS分析双相标记协议。 (英语) Zbl 1102.68505号 正式Asp。计算。 第433-458号第18页(2006年).MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.W.Vaandrager}和\textit{A.L.de Groot},正式Asp。计算。18,第4号,433--458(2006;Zbl 1102.68505) 全文: 内政部 链接
霍华德·鲍曼;鲁道夫·戈麦斯 如何停止计时。 (英语) Zbl 1105.68059号 正式Asp。计算。 18,第4期,459-493(2006).MSC公司:第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bowman}和\textit{R.Gomez},正式Asp。计算。18,第4号,459--493(2006;Zbl 1105.68059) 全文: 内政部
卡罗尔·摩根;安娜贝拉·麦克维尔;凯伦·塞德尔;J.W.桑德斯。 CSP的优化导向概率。 (英语) Zbl 0862.68050号 正式Asp。计算。 8,第6期,617-647(1996).MSC公司:2005年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.Morgan}等人,正式Asp。计算。8,第6号,617--647(1996;Zbl 0862.68050) 全文: 内政部
苏珊娜·格拉芙;伯恩哈德·斯特芬;杰拉尔德·吕特根 使用接口规范对有限状态系统进行组合最小化。 (英语) Zbl 0860.68067号 正式Asp。计算。 8,第5期,607-616(1996).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Graf}等人,正式Asp。计算。8,第5号,607--616(1996;Zbl 0860.68067) 全文: 内政部
斯科特·斯莫尔卡。;伯恩哈德·斯特芬 优先级为极值概率。 (英语) Zbl 0860.68027号 正式Asp。计算。 8,第5期,585-606(1996).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Smolka}和\textit{B.Steffen},正式Asp。计算。8,第5号,585--606(1996;Zbl 0860.68027) 全文: 内政部
南希·林奇;瓦安德拉格,弗里茨 动作传感器和定时自动机。 (英语) Zbl 0860.68072号 正式Asp。计算。 8,第5期,499-538(1996).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Lynch}和\textit{F.Vaandrager},正式Asp。计算。8,第5号,499--538(1996;Zbl 0860.68072) 全文: 内政部
克里斯·托夫茨 具有概率、优先级和时间的流程。 (英语) Zbl 0820.68072号 正式Asp。计算。 6,第5期,536-564(1994).MSC公司:68问题55 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Tofts},正式Asp。计算。6,第5号,536--564(1994;Zbl 0820.68072) 全文: 内政部
汉森,汉斯;本特·琼森 推理时间和可靠性的逻辑。 (英语) Zbl 0820.68113号 正式Asp。计算。 6,第5期,512-535(1994).MSC公司:68T27型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Hansson}和\textit{B.Jonson},正式Asp。计算。6,第5号,512--535(1994;Zbl 0820.68113) 全文: 内政部
卡洛斯·米盖尔;安杰尔·费尔南德斯;利昂·维德勒 LOTOS扩展了概率行为。 (英语) Zbl 0774.68038号 正式Asp。计算。 5,第3期,253-281(1993).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Miguel}等人,《正式Asp》。计算。5,第3号,253--281(1993;Zbl 0774.68038) 全文: 内政部
兰斯·克莱维兰;马修·轩尼诗 将等价性测试为互模拟等价性。 (英语) Zbl 0797.68058号 正式Asp。计算。 5,第1号,1-20(1993). 审核人:M.K(布尔诺) MSC公司:2010年第68季度 68问题55 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Cleaveland}和\textit{M.Hennessy},正式Asp。计算。5,编号1,1--20(1993;Zbl 0797.68058) 全文: 内政部
弗雷德里克·奥拉瓦;约阿希姆·帕罗 移动网络的代数验证。 (英语) 兹比尔0782.68081 正式Asp。计算。 4,第6期,497-543(1992).MSC公司:60年第68季度 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{F.Orava}和\textit{J.Parrow},正式Asp。计算。4,第6号,497--543(1992;Zbl 0782.68081) 全文: 内政部
秦华军;菲利普·刘易斯 强等价和观测等价下有限状态机的因式分解。 (英语) Zbl 0738.68029号 形式方面计算。 3,第2期,284-307(1991).MSC公司:2010年第68季度 60年第68季度 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Qin}和\textit{P.Lewis},正式Asp。计算。3,第2号,284--307(1991;Zbl 0738.68029) 全文: 内政部
Holmström,Sören Hennessy-Milner逻辑中使用递归的规范精化演算。 (英语) Zbl 0696.68037号 形式方面计算。 1,第3期,242-272(1989).MSC公司:68N25号 60年第68季度 03B45 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{S.Holmström},正式Asp。计算。1,第3号,242--272(1989;Zbl 0696.68037) 全文: 内政部
彼得·戴比杰;赫伯特·P·桑德。 一种用于描述和验证并发系统的函数编程方法。 (英语) 兹伯利0694.68015 形式方面计算。 1,第4号,303-319(1989).MSC公司:60年第68季度 68号01 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{P.Dybjer}和\textit{H.P.Sander},正式Asp。计算。1,第4号,303--319(1989;Zbl 0694.68015) 全文: 内政部