月亮,Young-Joo;亚历山德拉·席尔瓦;克里斯蒂安·克劳斯;法哈德·阿尔巴 一个组合模型,用于推理随机Reo连接器中的端到端QoS。 (英语) Zbl 1412.68065号 科学。计算。程序。 80,A部分,3-24(2014).MSC公司:第68季度10 68甲15 65年第68季度 68问题55 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.-J.Moon}等人,科学。计算。程序。80,A部分,3--24(2014;Zbl 1412.68065) 全文: 内政部 arXiv公司 链接
斯维特拉纳·雅克西奇;卢卡·帕多瓦尼 无副本消息传递的异常处理。 (英语) Zbl 1283.68208号 科学。计算。程序。 84, 22-51 (2014).MSC公司:60年第68季度 68问题85 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Jakšić}和\textit{L.Padovani},科学。计算。程序。84、22-51(2014;Zbl 1283.68208) 全文: 内政部
范·埃姆登,M.H。 矩阵代码。 (英语) Zbl 1283.68219号 科学。计算。程序。 84, 3-21 (2014).MSC公司:60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \文本{M.H.van Emden},科学。计算。程序。84、3--21(2014;Zbl 1283.68219) 全文: 内政部 arXiv公司
大卫·列文斯;威廉·哈里森 对称封装多方法的实现结构抽象。 (英语) Zbl 1284.68190号 科学。计算。程序。 78,第7期,953-968(2013).MSC公司:68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Lievens}和\textit{W.Harrison},科学。计算。程序。78,编号7953-968(2013年;兹bl 1284.68190) 全文: 内政部
基耶里·齐托;Atsushi Igarashi 将MyType与子类型匹配。 (英语) Zbl 1284.68107号 科学。计算。程序。 78,第7期,933-952(2013).MSC公司:68甲15 68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Saito}和\textit{A.Igarashi},科学。计算。程序。78,第7号,933--952(2013;Zbl 1284.68107) 全文: 内政部
Jörg Brauer;安迪·金;斯特凡·科瓦列夫斯基 单片机代码的抽象解释:区间满足同余。 (英语) Zbl 1284.68167号 科学。计算。程序。 78,第7期,862-883(2013).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Brauer}等人,科学。计算。程序。78,第7号,862--883(2013;Zbl 1284.68167) 全文: 内政部
Goodloe,Alwyn E。;塞萨尔·穆尼奥斯。 远程操作飞机通信协议的组成验证。 (英语) Zbl 1284.68184号 科学。计算。程序。 78,第7期,813-827(2013).MSC公司:68号30 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.E.Goodloe}和\textit{C.A.Muñoz},科学。计算。程序。78,编号7,813--827(2013;Zbl 1284.68184) 全文: 内政部
J.Bacelar阿尔梅达;曼纽尔·巴博萨;Jorge S.平托。;巴巴拉·维埃拉 使用自组合对副通道对策进行形式验证。 (英语) Zbl 1284.68158号 科学。计算。程序。 78,第7期,796-812(2013).MSC公司:68号30 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Almeida}等人,科学。计算。程序。78,第7号,796--812(2013;Zbl 1284.68158) 全文: 内政部
爱德华多·罗德里格斯。;菲利普·O·A·纳沃。;查罗·帕内塔;塞尔索·门德斯。 在虚拟化处理器环境中保留原始MPI语义。 (英语) Zbl 1264.68048号 科学。计算。程序。 78,第4期,412-421(2013).MSC公司:68甲19 68号30 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{E.R.Rodrigues}等人,科学。计算。程序。78,第4号,412--421(2013;Zbl 1264.68048) 全文: 内政部
科内留·波皮亚;魏恩根·钦 双重分析,用于证明安全性和发现漏洞。 (英语) Zbl 1264.68065号 科学。计算。程序。 78,第4号,390-411(2013).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Popeea}和\textit{W.-N.Chin},科学。计算。程序。78,第4号,390--411(2013;Zbl 1264.68065) 全文: 内政部
佩德罗·雷莱斯·马特奥;乌萨奥拉、马卡里奥·波罗;杰夫·奥弗特 多类别和系统级别的突变。 (英语) Zbl 1264.68061号 科学。计算。程序。 78,第4期,364-387(2013).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.R.Mateo}等人,科学。计算。程序。78,第4号,364--387(2013;Zbl 1264.68061) 全文: 内政部
约翰·A·克拉克。;Dan,海涛;Robert M.Hierons。 语义变异测试。 (英语) Zbl 1264.68055号 科学。计算。程序。 78,第4期,第345-363页(2013年).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Clark}等人,科学。计算。程序。78,第4号,345--363(2013;Zbl 1264.68055) 全文: 内政部
戴维·戴哈贝 SMT-solver在B和Event-B开发环境中的集成。 (英语) Zbl 1264.68056号 科学。计算。程序。 78,第3期,310-326(2013).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{D.Déharbe},科学。计算。程序。78,第3号,310-326(2013;Zbl 1264.68056) 全文: 内政部
爱尔兰,安德鲁;古德蒙德·格罗夫;玛丽亚·特蕾莎·拉诺;迈克尔·巴特勒 理性的建模评论家:将失败的证明转化为建模指导。 (英语) Zbl 1264.68058号 科学。计算。程序。 78,第3期,293-309(2013).MSC公司:68号30 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.爱尔兰}等人,科学。计算。程序。78,第3号,293--309(2013;Zbl 1264.68058) 全文: 内政部 链接
斯特凡·哈勒斯特德;Michael Leuschel先生;丹尼尔·普拉格 通过细化动画验证形式化模型。 (英语) Zbl 1264.68057号 科学。计算。程序。 78,第3期,272-292(2013).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Hallerstede}等人,科学。计算。程序。78,第3号,272--292(2013;Zbl 1264.68057) 全文: 内政部
洛伦佐·贝蒂尼;费卢西奥·达米亚尼;凯萨琳·盖尔曼;1月Schäfer 在类似Java的设置中,将特征与框和所有权类型相结合。 (英语) Zbl 1264.68046号 科学。计算。程序。 78,第2期,218-247(2013).MSC公司:68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人,科学。计算。程序。78,第2号,218--247(2013;Zbl 1264.68046) 全文: 内政部 链接
莱迪·杜·布斯奎特(编辑);杰里米·布拉德伯里(编辑);戈登·弗雷泽(编辑) 特刊:根据2010年4月6日在法国巴黎举行的第五届突变分析国际研讨会(2010年突变)上的演讲选出的论文。 (英语) Zbl 1273.68048号 科学。计算。程序。78,第4期,343-387(2013)。 MSC公司:68-06 00B25型 68号30 PDF格式BibTeX公司 XML格式
马克·弗拉皮耶(编辑);乌韦·格拉塞尔(编辑);萨尔夫拉兹·库希德(编辑);拉罗,Régine(编辑);史蒂夫·里夫斯(编辑) 特刊:基于第二届抽象状态机、合金、B和Z(ABZ 2010)国际会议(2010年2月22日至25日,加拿大魁北克省奥尔福德市)上的演讲的最佳论文。 (英语) Zbl 1273.68032号 科学。计算。程序。78,第3期,270-342(2013)。 MSC公司:68-06 00B25型 68号30 60年第68季度 PDF格式BibTeX公司 XML格式
爱德华多·凯斯勒·皮维塔;安娜·莫雷拉;皮门塔(Pimenta)、马塞洛·索尔斯(Marcelo Soares);乔昂·阿劳乔;佩德罗·格雷罗;普莱斯,R.汤姆 面向方面度量的实证研究。 (英语) Zbl 1264.68064号 科学。计算。程序。 78,第1期,117-144(2012).MSC公司:68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.K.Piveta}等人,科学。计算。程序。78,第1号,117--144(2012;Zbl 1264.68064) 全文: 内政部
马库斯·隆佩 组件交互自动机的分区精化。 (英语) Zbl 1264.68060号 科学。计算。程序。 78,第1期,27-45(2012).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lumpe},科学。计算。程序。78,编号1,27-45(2012;Zbl 1264.68060) 全文: 内政部
Khakpour、Narges;赛义德·贾利利;卡罗琳·塔尔科特;马尔詹·西尔贾尼;穆罕默德·穆萨维 进化自适应系统的形式化建模。 (英语) 兹比尔1264.68131 科学。计算。程序。 78,第1期,3-26(2012).MSC公司:68T05型 68号30 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Khakpour}等人,科学。计算。程序。78,第1号,第3--26号(2012;Zbl 1264.68131) 全文: 内政部
沃尔夫冈·阿伦特;马克西米利安·迪拉 异步对象的组合验证系统。 (英语) Zbl 1264.68050号 科学。计算。程序。 77,第12期,1289-1309(2012).MSC公司:68号30 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Ahrendt}和\textit{M.Dylla},科学。计算。程序。77,第12号,1289--1309(2012;Zbl 1264.68050) 全文: 内政部
JiříBarnat;卢博什·布里姆;彼得·罗奇凯 最适合验证弱LTL属性的即时并行模型检查算法。 (英语) Zbl 1264.68052号 科学。计算。程序。 77,第12期,1272-1288(2012).MSC公司:68号30 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{J.Barnat}等人,科学。计算。程序。77,第12号,1272--1288(2012;Zbl 1264.68052) 全文: 内政部
Bae,京敏;Ölveczky、Peter Csaba;冯,托马斯·惠宁;爱德华·A·李。;斯塔夫罗斯·特里帕基斯 使用实时淡紫色验证等级托勒密二世离散事件模型。 (英语) Zbl 1264.68051号 科学。计算。程序。 77,第12期,1235-1271(2012).MSC公司:68号30 60年第68季度 68问题55 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Bae}等人,科学。计算。程序。77,第12号,1235--1271(2012;Zbl 1264.68051) 全文: 内政部
纳塔莉·伯特兰;Legay、Axel;苏菲·平奇纳特;Jean-Baptiste Raclet女士 基于定时组件设计的模态事件块规范。 (英语) 兹比尔1264.68053 科学。计算。程序。 77,第12期,1212-1234(2012).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,科学。计算。程序。77,第12号,1212--1234(2012;Zbl 1264.68053) 全文: 内政部
Jean-Pierre塔宾;尤伊,朱利安;蒂埃里·戈蒂埃;洛依茨贝斯纳德;保罗·勒格尔尼克 等时系统的组成设计。 (英语) Zbl 1250.68094号 科学。计算。程序。 77,编号2113-128(2012).MSC公司:68号30 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Talpin}等人,科学。计算。程序。77,No.2,113--128(2012;Zbl 1250.68094) 全文: 内政部
安迪·扎德曼(编辑);朱利安娜·安东尼奥(编辑) 零件特刊:逆向工程(WCRE 2009)。根据2009年10月13日至16日在法国里尔举行的第16届逆向工程工作会议上的演示文稿选出的论文。 (英语) Zbl 1246.68062号 科学。计算。程序。77,第6号,741-776(2012年)。 MSC公司:68-06 00B25型 68号30 PDF格式BibTeX公司 XML格式
尼古拉斯·帕帕尼科劳;萨迪·克里斯;迈克尔·戈德史密斯 完善隐私策略检查。 (英语) Zbl 1243.68041号 科学。计算。程序。 77,编号10-11198-1209(2012).MSC公司:68英里11 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Papanikolaou}等人,科学。计算。程序。77,No.10--111198--1209(2012;Zbl 1243.68041) 全文: 内政部
克里斯蒂娜·帕利卡列娃;约尔·瓦克宁;A.W.罗斯科。 CSP跟踪细化中的SAT求解。 (英语) Zbl 1243.68216号 科学。计算。程序。 77,第10-11号,1178-1197(2012).MSC公司:60年第68季度 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.68212号 科学。计算。程序。 77,编号10-11122-1150(2012).MSC公司:60年第68季度 65年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.Damm}等人,科学。计算。程序。77,No.10--111122--1150(2012;Zbl 1243.68212) 全文: 内政部
乔里·杜布罗文;汤米·琼蒂拉;凯乔·赫尔扬科 利用步骤语义对异步系统进行有效的有界模型检查。 (英语) Zbl 1243.68213号 科学。计算。程序。 77,第10-11号,1095-1121(2012).MSC公司:60年第68季度 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Dubrovin}等人,科学。计算。程序。77,No.10--111095--1121(2012;Zbl 1243.68213) 全文: 内政部
拉杜·马特埃斯库;安东·威伊斯 弱τ碰撞的连续和分布式实时计算。 (英语) 兹比尔1243.68219 科学。计算。程序。 77,编号10-11,1075-1094(2012).MSC公司:68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Mateescu}和\textit{A.Wijs},科学。计算。程序。77,No.10--111075--1094(2012;Zbl 1243.68219) 全文: 内政部 哈尔
雷纳尔德·阿弗尔德;大卫·诺瓦克;清桥山田 用正式安全证明证明组件:BBS的情况。 (英语) Zbl 1243.68146号 科学。计算。程序。 77,编号10-11,1058-1074(2012).MSC公司:68号30 94A60型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Affeldt}等人,科学。计算。程序。77,No.10--11,1058--1074(2012;Zbl 1243.68146) 全文: 内政部
安东尼·纳卡维奇;塞萨尔·穆尼奥斯;Gilles Dowek 有效纠正冲突预防带算法。 (英语) Zbl 1243.68153号 科学。计算。程序。 77,编号10-11,1039-1057(2012).MSC公司:68号30 60年第68季度 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Narkawicz}等人,科学。计算。程序。77,No.10--111039--1057(2012;Zbl 1243.68153) 全文: 内政部
魏恩根·钦;克里斯蒂娜·大卫;阮虎海;秦胜超 通过分离逻辑中用户定义的谓词自动验证形状、大小和袋子属性。 (英语) Zbl 1243.68148号 科学。计算。程序。 77,第9期,1006-1036(2012).MSC公司:68号30 60年第68季度 68吨15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{W.-N.Chin}等人,科学。计算。程序。77,第9号,1006--1036(2012;Zbl 1243.68148) 全文: 内政部 链接
瞧,大卫;拉马林加姆,G。;文卡特斯·普拉萨德·兰加纳思;卡皮尔·瓦斯瓦尼 挖掘量化的时态规则:形式主义、算法和评估。 (英语) Zbl 1243.68151号 科学。计算。程序。 77,第6期,743-759(2012).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Lo}等人,科学。计算。程序。77,编号6,743-759(2012年;兹bl 1243.68151) 全文: 内政部
马塞洛·邦桑格;克拉克、戴夫;亚历山德拉·席尔瓦 上下文相关组件连接器的模型。 (英语) Zbl 1243.68147号 科学。计算。程序。 77,第6号,685-706(2012).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bonsangue}等人,科学。计算。程序。77,第6号,685--706(2012;Zbl 1243.68147) 全文: 内政部
何塞·费亚德罗;洛佩斯,安东尼亚;乔昂·阿布鲁 面向服务的交互的正式模型。 (英语) 兹比尔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号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.C.B.de Oliveira}等人,科学。计算。程序。77,No.4,518--532(2012;Zbl 1243.68150) 全文: 内政部
玛格努斯·O·米琳。;迈克尔·J·C·戈登。 功能提取。 (英语) 兹比尔1243.68139 科学。计算。程序。 77,第4期,505-517(2012).MSC公司:68甲15 60年第68季度 68吨15 第68页第20页 PDF格式BibTeX公司 XML格式引用 \textit{M.O.Myreen}和\textit{M.J.C.Gordon},科学。计算。程序。77,第4号,505--517(2012;Zbl 1243.68139) 全文: 内政部
达科斯塔,西蒙·安德烈;莱拉·里贝罗 使用逻辑方法验证图形语法。 (英语) Zbl 1243.68211号 科学。计算。程序。 77,第4期,480-504(2012).MSC公司:60年第68季度 2012年第68季度 68号30 68吨15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.A.da Costa}和\textit{L.Ribeiro},科学。计算。程序。77,第4号,480--504(2012;Zbl 1243.68211) 全文: 内政部
泽达,弗兰克;安娜·卡瓦尔坎蒂 关于UTP理论家族的机械推理。 (英语) Zbl 1243.68270号 科学。计算。程序。 77,第4期,444-479(2012).MSC公司:68吨15 68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Zeyda}和\textit{A.Cavalcanti},科学。计算。程序。77,第4号,444--479(2012;Zbl 1243.68270) 全文: 内政部
胡安·佩纳;吉姆·伍德科克 Handel-C合成的机械化有线验证。 (英语) Zbl 1243.68154号 科学。计算。程序。 77,第4期,424-443(2012).MSC公司:68号30 60年第68季度 68吨15 第68页第20页 PDF格式BibTeX公司 XML格式引用 \textit{J.Perna}和\textit{J.Woodcock},科学。计算。程序。77,第4号,424--443(2012;Zbl 1243.68154) 全文: 内政部
托马斯·鲁罗斯;海克·卫尔海姆 模型演化和细化。 (英语) Zbl 1243.68156号 科学。计算。程序。 77,第3期,270-289(2012).MSC公司:68N99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Ruhroth}和\textit{H.Wehrheim},科学。计算。程序。77,第3号,270--289(2012;Zbl 1243.68156) 全文: 内政部
莱拉·里贝罗;多斯桑托斯(Dos Santos,Osmar Marchi);费尔南多·路易斯·多蒂;卢西亚娜·福斯 正确的转换:从基于对象的图形语法到PROMELA。 (英语) Zbl 1243.68155号 科学。计算。程序。 77,第3期,214-246(2012).MSC公司:68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Ribeiro}等人,科学。计算。程序。77,第3号,214--246(2012;Zbl 1243.68155) 全文: 内政部
安德烈·奥尔扎克;乔根森、博·诺雷加德 重新模块化Java程序以改进源代码中功能实现的局部性。 (英语) Zbl 1243.68145号 科学。计算。程序。 77,第3期,131-151(2012).MSC公司:68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Olszak}和\textit{B.N.约根森},科学。计算。程序。77,第3号,131--151(2012;Zbl 1243.68145) 全文: 内政部
维克多·舒潘 关于LTL的不可满足和不可实现核心的概念。 (英语) Zbl 1242.68075号 科学。计算。程序。 77,编号7-8908-939(2012).MSC公司:68号30 68T20型 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{V.Schuppan},科学。计算。程序。77号7--8908--939(2012;Zbl 1242.68075) 全文: 内政部
卢卡·埃特罗;阿纳尔·比吉松;安娜·英格尔夫斯多蒂;穆罕默德·礼萨,穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 决定论和幂等性的规则格式。 (英语) Zbl 1243.68205号 科学。计算。程序。 77,编号7-8,889-907(2012).MSC公司:68问题55 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,科学。计算。程序。77,编号7--8889--907(2012;Zbl 1243.68205) 全文: 内政部 链接
巴赫曼·普瓦坦;马尔詹·西尔贾尼;侯赛因·霍贾特;法哈德·阿尔巴 使用约束自动机的Reo电路的符号执行。 (英语) Zbl 1242.68073号 科学。计算。程序。 77,编号7-8,848-869(2012).MSC公司:68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Pourvatan}等人,科学。计算。程序。77,编号7--8848-869(2012;Zbl 1242.68073) 全文: 内政部
孙孟;法哈德·阿尔巴;艾切尔尼格,伯恩哈德·K。;阿塞特夫·诺艾,勒克雷米奥拉;德波尔(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) 全文: 内政部
斯蒂芬妮·坎佩尔 基于SAT的定时组件连接器验证。 (英语) Zbl 1279.68212号 科学。计算。程序。 77,编号7-8,779-798(2012).MSC公司:60年第68季度 68T20型 65年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Kemper},科学。计算。程序。77,编号7--8,779--798(2012;Zbl 1279.68212) 全文: 内政部
马库斯·罗根巴赫(编辑) 特刊:AVoCS’09。根据2009年9月23日至25日在英国威尔士斯旺西举行的第九届关键系统自动验证国际研讨会上的演示文稿选出的论文。 (英语) Zbl 1246.68053号 科学。计算。程序。77,No.10-11,1027-1209(2012)。 MSC公司:68-06 00B25型 68号30 60年第68季度 68问题85 68吨15 PDF格式BibTeX公司 XML格式
法哈德·阿尔巴(编辑);马尔詹·西尔贾尼(编辑) 特刊:FSEN’09。根据2009年4月15日至17日在伊朗基什举行的第三届IPM软件工程基础国际研讨会上的陈述所选论文。 (英语) Zbl 1246.68020号 科学。计算。程序。77,编号7-8,887-967(2012)。 MSC公司:68-06 00B25型 68号30 PDF格式BibTeX公司 XML格式
约翰·菲尔德(编辑);Vasco T.瓦康塞洛斯。(编辑) 部分特刊:2009年协调。根据2009年6月9日至12日在葡萄牙里斯本举行的第11届协调模式和语言国际会议上的演讲选出的论文。 (英语) Zbl 1246.68032号 科学。计算。程序。77,第6期,661-740(2012)。 MSC公司:68-06 00B25型 68号30 PDF格式BibTeX公司 XML格式
Patría D.L.马查多。(编辑) 特刊:巴西正式方法研讨会(SBMF 2008)。2008年8月26日至29日,巴西BA萨尔瓦多,SBMF 2008会议记录中的论文选集。 (英语) Zbl 1246.68048号 科学。计算。程序。77,第4期,423-550(2012)。 MSC公司:68-06 00B25型 68号30 60年第68季度 68吨15 第68页第20页 03B70号 68甲15 PDF格式BibTeX公司 XML格式
斯文·阿佩尔(编辑);克里斯蒂安·伦戈尔(编辑);朱莉娅·劳尔(编辑) 部分特刊:面向特性的软件开发(FOSD 2009)。2009年10月6日,美国科罗拉多州丹佛市,根据研讨会上的陈述选择论文。 (英语) Zbl 1246.68019号 科学。计算。程序。77,第3期,129-187(2012)。 MSC公司:68-06 00B25型 68甲19 68号30 PDF格式BibTeX公司 XML格式
赫维格·曼纳特;维勒斯特,简;维恩,克里斯 需求到软件原语的转换:基于系统理论稳定性研究进化性。 (英语) Zbl 1217.68063号 科学。计算。程序。 76,第12期,1210-1222(2011).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{H.Mannaert}等人,科学。计算。程序。76,第12号,1210--1222(2011;Zbl 1217.68063) 全文: 内政部
Peter Y.H.Wong。;杰里米·吉本斯 工作流建模的属性规范。 (英语) Zbl 1216.68165号 科学。计算。程序。 76,第10期,942-967(2011).MSC公司:60年第68季度 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的部分降阶。 (英语) Zbl 1220.68048号 科学。计算。程序。 76,第10号,877-890(2011).MSC公司:68号30 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,科学。计算。程序。76,编号10877-890(2011年;兹bl 1220.68048) 全文: 内政部
本杰明·韦伊 程序逻辑演算中的谓词抽象。 (英语) Zbl 1221.68066号 科学。计算。程序。 76,第10号,861-876(2011).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Weiß},科学。计算。程序。76,第10号,861--876(2011;Zbl 1221.68066) 全文: 内政部
施奈德,Steve;海伦·特里哈恩 一致更改系统接口: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) 全文: 内政部
Michael Leuschel先生(编辑);海克·卫尔海姆(编辑) 特刊:集成形式化方法(iFM09)。根据2009年2月16日至19日在德国杜塞尔多夫举行的第七届国际会议上的发言选出的论文。 (英语) Zbl 1221.68024号 科学。计算。程序。76,第10期,835-967(2011)。 MSC公司:68-06 00B25型 68号30 60年第68季度 PDF格式BibTeX公司 XML格式
S.安多瓦。;格罗尼韦根,L.P.J。;德文克,E.P。 过程代数中的动态一致性:从范式到ACP。 (英语) Zbl 1213.68398号 科学。计算。程序。 76,第8期,711-735(2011).MSC公司:68问题85 68号30 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{S.Andova}等人,科学。计算。程序。76,编号8711-735(2011年;Zbl 1213.68398) 全文: 内政部
克拉克、戴夫;何塞·普伦萨;亚历山大·拉佐维克;法哈德·阿尔巴 通过约束满足实现基于渠道的协调。 (英语) Zbl 1220.68049号 科学。计算。程序。 76,第8号,681-710(2011).MSC公司:68号30 68甲15 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Clarke}等人,科学。计算。程序。76,第8号,681--710(2011;Zbl 1220.68049) 全文: 内政部
孙孟;法哈德·阿尔巴;克里斯特尔·拜尔 根据基于场景的交互规范合成Reo电路。 (英语) Zbl 1237.68064号 科学。计算。程序。 76,第8期,651-680(2011). 审核人:哈伊姆·基洛夫(米林顿) MSC公司:68号30 68甲15 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Meng}等人,科学。计算。程序。76,第8号,651--680(2011;Zbl 1237.68064) 全文: 内政部
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) 全文: 内政部
马塞尔·奥利维拉;泽达,弗兰克;安娜·卡瓦尔坎蒂 一种用于细化状态丰富并发规范的策略语言。 (英语) Zbl 1218.68101号 科学。计算。程序。 76,第9期,792-833(2011).MSC公司:60年第68季度 68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Oliveira}等人,科学。计算。程序。76,第9号,792--833(2011;Zbl 1218.68101) 全文: 内政部
史蒂夫·里夫斯;大卫·斯特雷德 语境、精炼和决定论。 (英语) Zbl 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 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Schellhorn},科学。计算。程序。76,第9号,756--773(2011;Zbl 1217.68065) 全文: 内政部
维姆·赫塞林克。 用于并发验证的模拟优化。 (英语) Zbl 1220.68069号 科学。计算。程序。 76,第9期,739-755(2011).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink},科学。计算。程序。76,第9号,739--755(2011;Zbl 1220.68069) 全文: 内政部 链接
帕斯卡·波扎特(编辑);马尔詹·西尔贾尼(编辑);卡洛斯·卡纳尔(编辑) 特刊:2008年7月13日在冰岛雷克雅未克举行的第七届协调语言和软件架构基础国际研讨会(FOCLASA'08)。精选论文。 (英语) Zbl 1218.68028号 科学。计算。程序。76,第8期,627-735(2011)。 MSC公司:68-06 00B25型 68甲15 68号30 68问题85 PDF格式BibTeX公司 XML格式
埃尔克·博伊滕(编辑);约翰·德里克(编辑);格哈德·谢尔霍恩(编辑) 特刊:2008年精炼研讨会。根据2008年5月27日在芬兰图尔库举行的第13次研讨会上的发言,选出了一些论文。 (英语) Zbl 1218.68007号 科学。计算。程序。76,第9期,737-833(2011)。 MSC公司:68-06 00B25型 68甲19 68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式
Natarajan Shankar;苏布拉马尼,K。 用于网络中负成本循环检测的应力算法的机械验证。 (英语) Zbl 1215.68071号 科学。计算。程序。 76,第7期,609-626(2011).MSC公司:68号30 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{N.Shankar}和\textit{K.Subramani},科学。计算。程序。76,第7号,609--626(2011;Zbl 1215.68071) 全文: 内政部
男,克里斯;大卫·J·皮尔斯。;亚历克斯·波坦;康斯坦丁·迪姆尼科夫 非Null类型字节码验证算法的形式化和实现。 (英语) 兹比尔1215.68069 科学。计算。程序。 76,第7期,587-608(2011).MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.Male}等人,科学。计算。程序。76,第7号,587--608(2011;Zbl 1215.68069) 全文: 内政部
维姆·赫塞林克。;亚历克斯·阿拉文德。 线性有界超车的基于队列的互斥。 (英语) Zbl 1217.68137号 科学。计算。程序。 76,第7期,542-554(2011).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hesselink}和\textit{A.A.Aravind},科学。计算。程序。76,第7号,542--554(2011;Zbl 1217.68137) 全文: 内政部 链接
阿尔西诺·库尼亚;Joost Visser公司 将结构化程序转换为XPath查询和战略功能。 (英语) Zbl 1215.68066号 科学。计算。程序。 76,第6号,516-539(2011).MSC公司:68号30 68甲18 68甲19 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.Cunha}和\textit{J.Visser},科学。计算。程序。76,No.6,516--539(2011;Zbl 1215.68066) 全文: 内政部 链接
Jeremy G.西耶克。;安德鲁·卢姆斯代恩 通用编程语言。 (英语) Zbl 1217.68050号 科学。计算。程序。 76,第5期,423-465(2011).MSC公司:68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Siek}和\textit{A.Lumsdaine},科学。计算。程序。76,第5号,423--465(2011;Zbl 1217.68050) 全文: 内政部 arXiv公司
克里斯托夫·卢特罗思;德雷克·德拉海姆;杰拉尔德·韦伯 一种用于反射程序生成器的类型系统。 (英语) Zbl 1215.68062号 科学。计算。程序。 76,第5期,392-422(2011).MSC公司:68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Lutteroth}等人,科学。计算。程序。76,No.5,392--422(2011;Zbl 1215.68062) 全文: 内政部
黄珊珊;大卫·佐克;亚尼斯·斯马拉格达基斯 使用SafeGen生成静态安全的程序。 (英语) Zbl 1215.68054号 科学。计算。程序。 76,第5期,376-391(2011).MSC公司:68甲15 68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Huang}等人,科学。计算。程序。76,第5号,376--391(2011;Zbl 1215.68054) 全文: 内政部
雅克·卡雷特;奥列格·基塞利约夫 使用functor和monad的多级编程:消除泛型代码的抽象开销。 (英语) Zbl 1215.68059号 科学。计算。程序。 76,第5期,349-375(2011).MSC公司:68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}和\textit{O.Kiselyov},科学。计算。程序。76,No.5,349--375(2011;Zbl 1215.68059) 全文: 内政部
罗伯特·格莱克(编辑);埃尔科·维瑟(编辑) 特刊:生成性编程和组件工程(GPCE 2004/2005)。根据2004年10月24日至28日在加拿大温哥华和2005年9月29日至10月1日在爱沙尼亚塔林举行的会议上所作的陈述,选定了经修订的论文。 (英语) Zbl 1215.68015号 科学。计算。程序。76,第5期,347-465(2011)。 MSC公司:68-06 68号30 68甲19 00B25型 PDF格式BibTeX公司 XML格式
朱尔斯·德沙奈斯;乔治·斯特鲁斯 域半环的内部公理。 (英语) Zbl 1211.68242号 科学。计算。程序。 76,第3期,181-203(2011).MSC公司:68问题55 03B45号 03G25号 2016年60月 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}和\textit{G.Struth},科学。计算。程序。76,第3号,181--203(2011;Zbl 1211.68242) 全文: 内政部
爱德坎普,S。;D.苏鲁斯基。;J.巴纳特。;布里姆·L。;Šimeček,P。 闪存高效LTL模型检查。 (英语) Zbl 1213.68372号 科学。计算。程序。 76,第2期,136-157(2011).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Edelkamp}等人,科学。计算。程序。76,No.2,136--157(2011;Zbl 1213.68372) 全文: 内政部
莫里斯·比克。;亚历山德罗·范特奇;格内西、斯特凡尼亚;弗朗科·马扎蒂 用于分析抽象系统属性的基于状态/事件的模型检查方法。 (英语) Zbl 1213.68392号 科学。计算。程序。 76,第2期,119-135(2011).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}等人,科学。计算。程序。76,编号2119-135(2011年;兹bl 1213.68392) 全文: 内政部
巴斯蒂安·施利希;Jörg Brauer;斯特凡·科瓦列夫斯基 状态空间缩减静态分析在微控制器二进制代码中的应用。 (英语) Zbl 1213.68390号 科学。计算。程序。 76,第2期,100-118(2011).MSC公司:60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{B.Schlich}等人,科学。计算。程序。76,No.2,100--118(2011;Zbl 1213.68390) 全文: 内政部
伯纳德·范加斯特尔;伦纳德·伦辛克;斯梅特泽斯,沙克;马克·范·埃克伦 无死锁和饥饿的可重入读写器:结合模型检查和定理证明的案例研究。 (英语) Zbl 1213.68193号 科学。计算。程序。 76,第2期,82-99(2011).MSC公司:68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.van Gastel}等人,科学。计算。程序。76,第2号,82--99(2011;Zbl 1213.68193) 全文: 内政部
李国栋;罗伯特·帕尔默;迈克尔·德利西;加内什·戈帕拉克里什南;罗伯特·M·柯比。 MPI 2.0的形式化规范:指定实用并发编程API的案例研究。 (英语) Zbl 1209.68111号 科学。计算。程序。 76,第2期,65-81(2011).MSC公司:68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Li}等人,科学。计算。程序。76,编号2,65-81(2011年;Zbl 1209.68111) 全文: 内政部
达伦·科弗(编辑);亚历山德罗·范特奇(编辑);斯特凡·洛伊(编辑);佩德罗·梅里诺(编辑) 特刊:2007年7月在德国柏林和2008年9月在意大利拉奎拉举行的第12次和第13次工业关键系统正式方法研讨会(FMICS 2007和FMICS 2008)的论文选集。 (英语) Zbl 1213.68030号 科学。计算。程序。76,第2期,63-157(2011)。 MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式
克里斯蒂安·克劳斯;Ziyan Maraikar;亚历山大·拉佐维克;法哈德·阿尔巴 使用高级替换系统对Reo中的动态重新配置进行建模。 (英语) Zbl 1211.68052号 科学。计算。程序。 76,第1期,23-36(2011).MSC公司:68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Krause}等人,科学。计算。程序。76,第1号,23-36(2011;Zbl 1211.68052) 全文: 内政部 链接
卡洛斯·卡纳尔(编辑);帕斯卡·波扎特(编辑);米尔科·维罗利(编辑) 特刊:第六届协调语言和软件架构基础国际研讨会(FOCLASA'07)论文选集。 (英语) 兹比尔1205.68006 科学。计算。程序。76,第1期,62页。(2011). MSC公司:68-06 68甲15 68号30 00B25型 PDF格式BibTeX公司 XML格式
阿拉斯泰尔·唐纳森。;西蒙·盖伊。 Promela的类型推断和强静态类型检查。 (英语) Zbl 1209.68080号 科学。计算。程序。 75,第11期,1165-1191(2010).MSC公司:68甲15 60年第68季度 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 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Jin}和\textit{D.L.Parnas},科学。计算。程序。75,第11号,980--1000(2010;Zbl 1209.68126) 全文: 内政部
马西奥·巴斯;布兰德,丹尼尔;乌格拉纳姆·斯里达尔;斯蒂芬·爱德华兹。 一种新的指针分析空间及其在错误查找中的应用。 (英语) Zbl 1209.68313号 科学。计算。程序。 75,第11期,921-942(2010).MSC公司:60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Buss}等人,科学。计算。程序。75,第11号,921--942(2010;Zbl 1209.68313) 全文: 内政部 内政部
哈米德·萨布里;马尔詹·西尔贾尼 基于行动者的切片技术,可有效减少Rebeca模型。 (英语) Zbl 1214.68223号 科学。计算。程序。 75,第10号,811-827(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Sabouri}和\textit{M.Sirjani},科学。计算。程序。75,第10号,811--827(2010;Zbl 1214.68223) 全文: 内政部
朱莉娅·劳尔。(编辑) 特刊:生成性编程和组件工程(GPCE 2007)。根据2007年10月1日至3日在奥地利萨尔茨堡举行的第六届国际会议上的演讲选择的论文。 (英语) Zbl 1205.68016号 科学。计算。程序。75,第7期,471-667(2010年)。 MSC公司:68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式
罗德里戈·拉莫斯;奥古斯托·桑帕约;亚历山大·莫塔 交互组件协调的一致性概念。 (英语) 兹比尔1200.68072 科学。计算。程序。 75,第5期,350-373(2010).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Ramos}等人,科学。计算。程序。75,第5号,350-373(2010;Zbl 1200.68072) 全文: 内政部
克吕佩尔霍尔茨,萨沙;克里斯特尔·拜尔 多智能体系统的交替时间流逻辑。 (英语) Zbl 1192.68697号 科学。计算。程序。 75,第6号,398-425(2010).MSC公司:68T42型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Klüppelholz}和\textit{C.Baier},科学。计算。程序。75,第6号,398--425(2010;Zbl 1192.68697) 全文: 内政部