Alwyn E.古德洛。;穆尼奥斯,塞萨尔·A。 远程操作飞机通信协议的组成验证。 (英语) Zbl 1284.68184号 科学。计算。程序。 78,第7期,813-827(2013)。MSC公司:68号30 第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Goodloe}和\textit{C.A.Muñoz},科学。计算。程序。78,编号7,813--827(2013;Zbl 1284.68184) 全文: 内政部
克里斯蒂娜·帕利卡列娃;约尔·瓦克宁;A.W.罗斯科。 CSP跟踪细化中的SAT求解。 (英语) Zbl 1243.68216号 科学。计算。程序。 77,第10-11号,1178-1197(2012)。MSC公司:第68季度第60季度 68T20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Palikareva}等人,科学。计算。程序。77,No.10--11,1178--1197(2012;Zbl 1243.68216) 全文: 内政部
阿尔瓦罗宫泽;安娜·卡瓦尔坎蒂 状态流图的优化模型。 (英语) Zbl 1243.68152号 科学。计算。程序。 77,编号10-11,1151-1177(2012)。MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Miyazawa}和\textit{A.Cavalcanti},科学。计算。程序。77,No.10--111151--1177(2012;Zbl 1243.68152) 全文: 内政部
何塞·费亚德罗;安托尼亚州洛佩斯;乔昂·阿布鲁 面向服务的交互的正式模型。 (英语) Zbl 1243.68138号 科学。计算。程序。 77,第5期,577-608(2012)。MSC公司:68甲15 68号30 68米11 PDF格式BibTeX公司 XML格式引用 \textit{J.Fiadeiro}等人,科学。计算。程序。77,第5号,577--608(2012;Zbl 1243.68138) 全文: 内政部
达科斯塔,翁贝托·苏扎;阿纳玛丽亚·马丁斯·莫雷拉;Musicante,Martin A。;Souza Neto,Plácido A。 JCML:用于Java卡程序运行时验证的规范语言。 (英语) Zbl 1243.68137号 科学。计算。程序。 77,第4期,533-550(2012)。MSC公司:68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{美国达科斯塔}等人,科学。计算。程序。77,第4号,533-550(2012;Zbl 1243.68137) 全文: 内政部
de Oliveira,Diego Caminha B。;戴维·戴哈贝;帕斯卡·方丹 通过(模型-)等式传播组合决策过程。 (英语) Zbl 1243.68150号 科学。计算。程序。 77,第4期,518-532(2012)。MSC公司:68号30 03B70号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \文本{D.C.B.de Oliveira}等人,科学。计算。程序。77,编号41518-532(2012年;兹bl 1243.68150) 全文: 内政部
泽达,弗兰克;安娜·卡瓦尔坎蒂 关于UTP理论家族的机械推理。 (英语) Zbl 1243.68270号 科学。计算。程序。 77,第4期,444-479(2012)。MSC公司:68吨15 68甲15 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Zeyda}和\textit{A.Cavalcanti},科学。计算。程序。77,第4号,444--479(2012;Zbl 1243.68270) 全文: 内政部
托马斯·鲁罗斯;海克·卫尔海姆 模型演化和细化。 (英语) Zbl 1243.68156号 科学。计算。程序。 77,第3期,270-289(2012)。MSC公司:68纳米99 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Ruhroth}和\textit{H.Wehrheim},科学。计算。程序。77,第3号,270--289(2012;Zbl 1243.68156) 全文: 内政部
孙孟;法哈德·阿尔巴;伯恩哈德·艾切尼格(Bernhard K.Aichernig)。;阿塞特夫·诺艾,勒克雷米奥拉;德波尔(Frank S。;简·拉特 连接器设计:建模、细化和测试用例生成。 (英语) 兹比尔1242.68070 科学。计算。程序。 77,编号7-8,799-822(2012)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Meng}等人,科学。计算。程序。77号7--8799--822(2012;Zbl 1242.68070) 全文: 内政部
Peter Y.H.Wong。;杰里米·吉本斯 工作流建模的属性规范。 (英语) Zbl 1216.68165号 科学。计算。程序。 76,第10期,942-967(2011)。MSC公司:第68季度第60季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Y.H.Wong}和\textit{J.Gibbons},科学。计算。程序。76,第10号,942--967(2011;Zbl 1216.68165) 全文: 内政部
罗伯特·J·科尔文。;伊恩·海耶斯。 使用CSP和规范命令的行为树语义。 (英语) Zbl 1220.68050号 科学。计算。程序。 76,第10号,891-914(2011)。MSC公司:68号30 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Colvin}和\textit{I.J.Hayes},科学。计算。程序。76,第10号,891--914(2011;Zbl 1220.68050) 全文: 内政部
北卡罗来纳州贝内什。;布里姆,L。;布诺娃,B。;乔纳,I。;索科尔,J。;瓦·埃科娃,P。 应用于组件交互自动机的状态/事件LTL的部分降阶。 (英语) 兹比尔1220.68048 科学。计算。程序。 76,第10号,877-890(2011)。MSC公司:68号30 第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,科学。计算。程序。76,第10号,877--890(2011;Zbl 1220.68048) 全文: 内政部
史蒂夫·施耐德;海伦·特里哈恩 一致更改系统接口:CSP(\ | \)B的一种新的细化策略。 (英语) Zbl 1221.68062号 科学。计算。程序。 76,第10号,837-860(2011)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Schneider}和\textit{H.Treharne},科学。计算。程序。76,No.10837--860(2011;Zbl 1221.68062) 全文: 内政部
S.安多瓦。;格罗尼韦根,L.P.J。;德文克,E.P。 过程代数中的动态一致性:从范式到ACP。 (英语) Zbl 1213.68398号 科学。计算。程序。 76,第8期,711-735(2011)。MSC公司:68问题85 68号30 68纳米99 PDF格式BibTeX公司 XML格式引用 \textit{S.Andova}等人,科学。计算。程序。76,第8号,711--735(2011;Zbl 1213.68398) 全文: 内政部
Peter Y.H.Wong。;杰里米·吉本斯 BPMN的形式化和应用。 (英语) Zbl 1213.68212号 科学。计算。程序。 76,第8期,633-650(2011)。MSC公司:68号30 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Y.H.Wong}和\textit{J.Gibbons},科学。计算。程序。76,第8号,633--650(2011;Zbl 1213.68212) 全文: 内政部
马塞尔·奥利维拉;泽达,弗兰克;安娜·卡瓦尔坎蒂 一种用于细化状态丰富并发规范的策略语言。 (英语) 兹比尔1218.68101 科学。计算。程序。 76,第9期,792-833(2011)。MSC公司:第68季度第60季度 68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Oliveira}等人,科学。计算。程序。76,第9号,792--833(2011;Zbl 1218.68101) 全文: 内政部
史蒂夫·里夫斯;大卫·斯特雷德 语境、精炼和决定论。 (英语) 兹比尔1219.68091 科学。计算。程序。 76,第9期,774-791(2011)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Reeves}和\textit{D.Streader},科学。计算。程序。76,第9号,774--791(2011;Zbl 1219.68091) 全文: 内政部 链接
格哈德·谢尔霍恩 公平ASM改进的完整性。 (英语) Zbl 1217.68065号 科学。计算。程序。 76,第9期,756-773(2011)。MSC公司:68号30 68问题85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Schellhorn},科学。计算。程序。76,第9号,756--773(2011;Zbl 1217.68065) 全文: 内政部
拉尔夫·马提斯 内涵类型理论中嵌套数据类型的地图融合。 (英语) Zbl 1210.68048号 科学。计算。程序。 76,第3期,204-224(2011)。MSC公司:68甲18 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{R.Matthes},科学。计算。程序。76,第3号,204--224(2011;Zbl 1210.68048) 全文: 内政部
莫里斯·比克。;亚历山德罗·范特奇;格内西、斯特凡尼亚;弗朗科·马扎蒂 用于分析抽象系统属性的基于状态/事件的模型检查方法。 (英语) Zbl 1213.68392号 科学。计算。程序。 76,第2期,119-135(2011)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}等人,科学。计算。程序。76,编号2119-135(2011年;兹bl 1213.68392) 全文: 内政部
伯纳德·范加斯特尔;伦纳德·伦辛克;斯梅特泽斯,沙克;马尔科·范·埃克伦 死锁和无饥饿的可重入读者作者:一个结合模型检验和定理证明的案例研究。 (英语) Zbl 1213.68193号 科学。计算。程序。 76,第2期,82-99(2011)。MSC公司:第68页第19页 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{B.van Gastel}等人,科学。计算。程序。76,第2号,82--99(2011;Zbl 1213.68193) 全文: 内政部
埃尔克·博伊滕;约翰·德里克 阻塞范式中关系模拟的不完整性。 (英语) Zbl 1209.68306号 科学。计算。程序。 75,第12期,1262-1269(2010)。MSC公司:68问题55 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{E.Boiten}和\textit{J.Derrick},科学。计算。程序。75,第12号,1262--1269(2010;Zbl 1209.68306) 全文: 内政部
尼古拉斯·弗里斯比;加林·金梅尔;菲利普·韦弗;佩里·亚历山大 用代数组合子构造语言处理器。 (英语) Zbl 1211.68049号 科学。计算。程序。 75,第7期,543-572(2010)。MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{N.Frisby}等人,科学。计算。程序。75,编号7,543--572(2010;Zbl 1211.68049) 全文: 内政部
阿拉斯泰尔·唐纳森。;西蒙·盖伊。 Promela的类型推理和强静态类型检查。 (英语) Zbl 1209.68080号 科学。计算。程序。 75,第11期,1165-1191(2010)。MSC公司:68甲15 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Donaldson}和\textit{S.J.Gay},科学。计算。程序。75,第11号,1165--1191(2010;Zbl 1209.68080) 全文: 内政部
金、英;David Lorge,帕纳斯 定义表格数学表达式的含义。 (英语) Zbl 1209.68126号 科学。计算。程序。 75,第11号,980-1000(2010)。MSC公司:68号30 68纳米99 PDF格式BibTeX公司 XML格式引用 \textit{Y.Jin}和\textit{D.L.Parnas},科学。计算。程序。75,第11号,980--1000(2010;Zbl 1209.68126) 全文: 内政部
海姆,皮尔雷·科里尔;奥尔加·库什纳伦科;福尔摩·沃伊诺特 基于组件仿真的替代性管理QoS和组合问题。 (英语) Zbl 1214.68097号 科学。计算。程序。 75,第10期,898-917(2010)。MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{P.-C.Héam}等人,科学。计算。程序。75,第10号,898--917(2010;Zbl 1214.68097) 全文: 内政部 哈尔
约翰·德里克;海克·卫尔海姆 跨视图的模型转换。 (英语) Zbl 1187.68161号 科学。计算。程序。 75,第3期,192-210(2010)。MSC公司:68纳米99 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{H.Wehrheim},科学。计算。程序。75,编号3192-210(2010年;兹bl 1187.68161) 全文: 内政部
阿里·米莉;夏尔Aharon;查塔尼亚·纳德卡尼 关于循环函数推理的数学。 (英语) Zbl 1192.68160号 科学。计算。程序。 74,编号11-12,989-1020(2009)。MSC公司:68纳米99 PDF格式BibTeX公司 XML格式引用 \textit{A.Mili}等人,科学。计算。程序。74,编号11--12989--1020(2009;Zbl 1192.68160) 全文: 内政部
Hoang,泰国儿子;Hironobu Kuruma;戴维·巴恩斯;Jean-Raymond Abrial先生 在Event-B中开发拓扑发现。 (英语) Zbl 1192.68829号 科学。计算。程序。 74,编号11-12,879-899(2009)。MSC公司:68周05 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{T.S.Hoang}等人,科学。计算。程序。74,编号11--12,879--899(2009;Zbl 1192.68829) 全文: 内政部
贝诺·弗雷金;马克·弗拉皮耶 过程表达式的高效符号计算。 (英语) Zbl 1167.68040号 科学。计算。程序。 74,第9期,723-753(2009)。MSC公司:68问题85 68问题55 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{B.Fraikin}和\textit{M.Frappier},科学。计算。程序。74,第9号,723--753(2009;Zbl 1167.68040) 全文: 内政部
利奥·弗雷塔斯;吉姆·伍德科克;付,郑 Z/Eves中的POSIX文件存储:在经过验证的软件存储库中进行的实验。 (英语) 兹比尔1162.68388 科学。计算。程序。 74,第4期,238-257(2009)。MSC公司:68M99型 68吨15 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Freitas}等人,科学。计算。程序。74,第4号,238--257(2009;Zbl 1162.68388) 全文: 内政部
安德鲁·巴特菲尔德;利奥·弗雷塔斯;吉姆·伍德科克 机械化闪存的正式模型。 (英语) Zbl 1162.68387号 科学。计算。程序。 74,第4期,219-237(2009)。MSC公司:68M99型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Butterfield}等人,科学。计算。程序。74,第4号,219--237(2009;Zbl 1162.68387) 全文: 内政部 链接
利奥·弗雷塔斯;吉姆·伍德科克;张艺奇 使用Z/Eves验证CICS文件控制API:在已验证的软件存储库中进行的实验。 (英语) Zbl 1178.68527号 科学。计算。程序。 74,第4期,197-218(2009)。MSC公司:68吨15 68纳米99 PDF格式BibTeX公司 XML格式引用 \textit{L.Freitas}等人,科学。计算。程序。74,第4号,197--218(2009;Zbl 1178.68527) 全文: 内政部
陈振邦;刘志明;安德斯·雷文(Anders P.Ravn)。;沃尔克·斯托尔茨;詹乃军 基于组件的模型驱动设计中的细化和验证。 (英语) Zbl 1178.68158号 科学。计算。程序。 74,第4期,168-196(2009)。MSC公司:68纳米99 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Chen}等人,科学。计算。程序。74,第4号,168--196(2009;Zbl 1178.68158) 全文: 内政部
罗伯特·科尔文;布里杰什·多戈尔 一种证明锁自由度的通用技术。 (英语) Zbl 1157.68024号 科学。计算。程序。 74,第3期,143-165(2009)。MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{R.Colvin}和\textit{B.Dongol},科学。计算。程序。74,第3号,143--165(2009;Zbl 1157.68024) 全文: 内政部
里克·埃舒伊斯 协调状态图语义。 (英语) Zbl 1171.68021号 科学。计算。程序。 74,第3期,65-99(2009)。MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Eshuis},科学。计算。程序。74,第3号,65--99(2009;Zbl 1171.68021) 全文: 内政部