月亮,Young-Joo;亚历山德拉·席尔瓦;克里斯蒂安·克劳斯;法哈德·阿尔巴 一个组合模型,用于推理随机Reo连接器中的端到端QoS。 (英语) 兹比尔1412.68065 科学。计算。程序。 80,A部分,3-24(2014).MSC公司:2010年第68季度 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 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) 全文: 内政部
纳尔赫斯·卡普尔;赛义德·贾利利;卡罗琳·塔尔科特;马尔詹·西尔贾尼;穆罕默德·穆萨维 进化自适应系统的形式化建模。 (英语) 兹比尔1264.68131 科学。计算。程序。 78,第1期,3-26(2012).MSC公司:68T05型 68号30 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Khakpour}等人,《科学》。计算。程序。78,编号1,3--26(2012年;兹bl 1264.68131) 全文: 内政部
Nathalie Bertrand;Legay、Axel;苏菲·平奇纳特;Jean-Baptiste Raclet女士 基于定时组件设计的模态事件块规范。 (英语) Zbl 1264.68053号 科学。计算。程序。 77,编号1212-1234(2012).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,科学。计算。程序。77,第12号,1212--1234(2012;Zbl 1264.68053) 全文: 内政部
达姆,沃纳;海宁·迪尔克斯;斯特凡·迪什;威廉·哈格曼;弗洛里安·皮戈什;克里斯托夫·斯科尔;乌韦·沃尔德曼;鲍里斯·维茨 具有大型离散状态空间的线性混合自动机的精确和完全符号验证。 (英语) 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.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) 全文: 内政部
何塞·费亚德罗;安托尼亚州洛佩斯;乔昂·阿布鲁 面向服务的交互的正式模型。 (英语) 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) 全文: 内政部
达科斯塔,西蒙·安德烈;莱拉·里贝罗 使用逻辑方法验证图形语法。 (英语) 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) 全文: 内政部
码头Kleijn;马西耶·库特尼 通信系统的步骤可覆盖性算法。 (英语) 兹比尔1267.68155 科学。计算。程序。 77,编号7-8,955-967(2012). 审核人:Angelo Furfaro(伦德) MSC公司:68问题85 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Kleijn}和\textit{M.Koutny},科学。计算。程序。77,编号7--8955--967(2012;Zbl 1267.68155) 全文: 内政部
巴赫曼·普瓦坦;马尔詹·西尔贾尼;侯赛因·霍贾特;法哈德·阿尔巴 使用约束自动机的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) 全文: 内政部
斯蒂芬妮·坎佩尔 基于SAT的定时组件连接器验证。 (英语) Zbl 1279.68212号 科学。计算。程序。 77,编号7-8,779-798(2012).MSC公司:60年第68季度 68T20型 65年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \文本{S.Kemper},科学。计算。程序。77,编号7-8779-798(2012年;兹bl 1279.68212) 全文: 内政部
北卡罗来纳州贝内什。;布里姆·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,第10号,877--890(2011;Zbl 1220.68048) 全文: 内政部
帕斯卡·弗雷德特;哈,Stéphane Hong Tuan 可用性方面。强制执行定时属性以防止拒绝服务。 (英语) Zbl 1211.68070号 科学。计算。程序。 75,第7期,516-542(2010).MSC公司:68甲19 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Fradet}和\textit{S.H.T.Ha},科学。计算。程序。75,编号7,516--542(2010;Zbl 1211.68070) 全文: 内政部
洛克·克利奥帕斯;布鲁斯·沃森。;杰勒德·茨瓦恩 一种新的从右到左次线性扫描关键字模式匹配算法分类。 (英语) 兹比尔1209.68170 科学。计算。程序。 75,第11期,1095-1112(2010).MSC公司:第68页第10页 65年第68季度 68周05 68吨10 PDF格式BibTeX公司 XML格式引用 \textit{L.Cleophas}等人,科学。计算。程序。75,第11号,1095--1112(2010;Zbl 1209.68170) 全文: 内政部
德尼古拉,罗科;丹尼尔·戈拉;汉森、雷内·里多夫;弗莱明·尼尔森;尼尔森、汉内·里斯;克里斯蒂安·W·普罗布斯特。;罗萨里奥·普格利泽 从流逻辑到协调语言的静态类型系统。 (英语) Zbl 1192.68126号 科学。计算。程序。 75,第6期,376-397(2010).MSC公司:68甲15 60年第68季度 68米14 PDF格式BibTeX公司 XML格式引用 \textit{R.de Nicola}等人,科学。计算。程序。75,第6号,376--397(2010;Zbl 1192.68126) 全文: 内政部
伊丽莎白·斯科特;阿德里安·约翰斯通 识别不是解析——SPPF类型的立方识别器解析。 (英语) Zbl 1187.68301号 科学。计算。程序。 75,编号1-2,55-70(2010).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Scott}和\textit{A.Johnstone},科学。计算。程序。75,编号1--2,55-70(2010;Zbl 1187.68301) 全文: 内政部
艾伦·阿克图格;卡齐亚琳娜·纳柳卡 ConSpec—一种用于策略规范的正式语言。 (英语) Zbl 1160.68397号 科学。计算。程序。 74,编号1-2,2-12(2008).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Aktug}和\textit{K.Naliuka},科学。计算。程序。74,编号1--2,2--12(2008;Zbl 1160.68397) 全文: 内政部
拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 在定时框架中设计和验证长时间运行的事务。 (英语) Zbl 1170.68024号 科学。计算。程序。 73,编号2-3,76-94(2008).MSC公司:65年第68季度 第68页,共15页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人,科学。计算。程序。73,编号2--3,76-94(2008;Zbl 1170.68024) 全文: 内政部
马西莫Tivoli;保拉·因弗拉迪 基于组件的体系结构的无故障协调器合成。 (英语) Zbl 1151.68463号 科学。计算。程序。 71,第3号,181-212(2008).MSC公司:65年第68季度 60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Tivoli}和\textit{P.Inverardi},科学。计算。程序。71,第3号,181--212(2008;Zbl 1151.68463) 全文: 内政部
阿德里安·约翰斯通;伊丽莎白·斯科特 归约分析器的自动递归工程。 (英语) Zbl 1125.68020号 科学。计算。程序。 68,第2期,95-110(2007).MSC公司:68甲15 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Johnstone}和\textit{E.Scott},科学。计算。程序。68,第2号,95--110(2007;Zbl 1125.68020) 全文: 内政部
柯蒂斯·克利夫顿;Gary T.Leavens。 \(\text{迷你猫}_1\):研究面向方面推理的必备核心语言。 (英语) Zbl 1170.68421号 科学。计算。程序。 63,第321-374号(2006年).MSC公司:68甲19 68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Clifton}和\textit{G.T.Leavens},科学。计算。程序。63,第3号,321--374(2006;Zbl 1170.68421) 全文: 内政部
阿尔蒂森,K。;马兰尼奇,F。;D.斯塔奇。 反应系统的面向方面编程:Larissa,同步框架中的一项提案。 (英语) Zbl 1119.68045号 科学。计算。程序。 63,第3期,297-320(2006).MSC公司:68甲19 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{K.Altisen}等人,科学。计算。程序。63,第3号,297--320(2006;Zbl 1119.68045) 全文: 内政部
洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽 限制全球计算应用程序中的数据和进程。 (英语) Zbl 1137.68333号 科学。计算。程序。 63,第1期,57-87(2006).MSC公司:68甲15 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}等人,科学。计算。程序。63,第1号,57--87(2006;Zbl 1137.68333) 全文: 内政部
克里斯特尔·拜尔;马尔詹·西尔贾尼;法哈德·阿尔巴;简·拉特 通过约束自动机在Reo中建模组件连接器。 (英语) Zbl 1105.68058号 科学。计算。程序。 61,第2期,75-113(2006).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,科学。计算。程序。61,No.2,75--113(2006;Zbl 1105.68058) 全文: 内政部 链接
Gary T.Leavens。;Yoonsik Cheon先生;柯蒂斯·克利夫顿;克莱德·鲁比;大卫·R·科克。 JML的设计如何兼顾运行时断言检查和形式验证。 (英语) Zbl 1075.68009号 科学。计算。程序。 55,编号1-3,185-208(2005).MSC公司:68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.T.Leavens}等人,科学。计算。程序。55,编号1--3,185-208(2005;Zbl 1075.68009) 全文: 内政部 链接
布鲁内斯,C.-B。;北卡罗来纳州卡塔诺。;侯斯曼,M。;B.雅各布斯。 智能卡的正式方法:经验报告。 (英语) Zbl 1075.68567号 科学。计算。程序。 55,编号1-3,53-80(2005).MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Breunesse}等人,科学。计算。程序。55,编号1--3,53-80(2005;Zbl 1075.68567) 全文: 内政部
布鲁斯·沃森。;理查德·沃森(Richard E.Watson)。 用于正则表达式模式匹配的Boyer-Moore类型算法。 (英语) Zbl 1058.68072号 科学。计算。程序。 48,编号2-3,99-117(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.W.Watson}和\textit{R.E.Watsonneneneep,科学。计算。程序。48,编号2--3,99-117(2003;Zbl 1058.68072) 全文: 内政部
布鲁斯·沃森。 一种构造最小非循环DFA的新算法。 (英语) Zbl 1059.68071号 科学。计算。程序。 48,编号2-3,81-97(2003).MSC公司:65年第68季度 68周05 PDF格式BibTeX公司 XML格式引用 \textit{B.W.Watson},科学。计算。程序。48,编号2--3,81-97(2003;Zbl 1059.68071) 全文: 内政部
戴维·莫尼奥 用树自动机抽象密码协议。 (英语) Zbl 1047.68066号 科学。计算。程序。 47,第2-3号,177-202(2003).MSC公司:68第25页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Monniaux},科学。计算。程序。47、编号2--3、177-202(2003;Zbl 1047.68066) 全文: 内政部
安托万·雷奎 一个B模型,用于确保Java卡虚拟机的大型子集的可靠性。 (英语) Zbl 1032.68043号 科学。计算。程序。 46,第3期,283-306(2003).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.请求},科学。计算。程序。46,第3号,283--306(2003;Zbl 1032.68043) 全文: 内政部
佛罗伦萨马拉宁奇;亚恩·雷蒙德 模式自动机:用于开发安全关键系统的一种新的特定领域构造。 (英语) Zbl 1051.68097号 科学。计算。程序。 46,第3期,219-254(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Maraninchi}和\textit{Y.Rémond},科学。计算。程序。46,第3号,219--254(2003;Zbl 1051.68097) 全文: 内政部
马塞洛·M·邦桑格。;Joost N.角。;吉安路易吉·扎瓦塔罗 使用嵌入比较协调模型和架构。 (英语) Zbl 1032.68091号 科学。计算。程序。 46,第1-2号,31-69(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bonsangue}等人,科学。计算。程序。46,编号1--2,31-69(2003;Zbl 1032.68091) 全文: 内政部
埃吉迪奥·阿斯泰西亚诺;吉安娜·雷吉奥;埃琳娜·祖卡 存储为同态及其转换:命令式语言中结构化类型的统一方法。 (英语) Zbl 0939.68069号 科学。计算。程序。 34,第3期,163-190(1999).MSC公司:65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.Astesiano}等人,科学。计算。程序。34,第3号,163--190(1999;Zbl 0939.68069) 全文: 内政部
罗伯特·巴格纳拉 基于约束逻辑的语言的数据流分析的约束系统层次结构。 (英语) Zbl 0891.68056号 科学。计算。程序。 30,编号1-2,119-155(1998).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bagnara},科学。计算。程序。30,编号1--2,119-155(1998;Zbl 0891.68056) 全文: 内政部
亨克·多恩博斯;罗兰·巴克豪斯 还原性。 (英语) Zbl 0848.68054号 科学。计算。程序。 26,编号1-3,217-236(1996).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Doornbos}和\textit{R.Backhouse},科学。计算。程序。26,编号1--3,217--236(1996;Zbl 0848.68054) 全文: 内政部
马丁·拉斯林 导出了一类面向层的图算法。 (英语) Zbl 0853.68142号 科学。计算。程序。 26,编号1-3,117-132(1996).MSC公司:68兰特 68宽10 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Russling},科学。计算。程序。26,编号1--3,117-132(1996;Zbl 0853.68142) 全文: 内政部
杰伊·巴里 形状的语义。 (英语) Zbl 0853.68119号 科学。计算。程序。 25,编号2-3,251-283(1995).MSC公司:65年第68季度 68问题55 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jay},科学。计算。程序。25,编号2--3,251--283(1995;Zbl 0853.68119) 全文: 内政部
彼得·哈里森。;而R.Lyndon 通过Horner规则将多项式求值转换为流水线。 (英语) Zbl 0827.68071号 科学。计算。程序。 24,第1期,83-95(1995).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.G.哈里森}和\textit{R.L.While},科学。计算。程序。24,编号1,83--95(1995;Zbl 0827.68071) 全文: 内政部
范·吉尔斯特,F.A。;范登·布鲁克,P.M。 惰性函数语言的一种新编程技术。 (英语) Zbl 0826.68021号 科学。计算。程序。 24,第1期,63-81(1995).MSC公司:68号01 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.A.van Gilst}和\textit{P.M.van den Broek},科学。计算。程序。24,编号1,63--81(1995;Zbl 0826.68021) 全文: 内政部 链接
卢塞纳,C.J.P。;阿伦卡尔,P.S.C。 对不断发展的软件系统体系结构的正式描述。 (英语) 兹伯利0939.68557 科学。计算。程序。 24,第1期,第41-61页(1995年).MSC公司:68号01 65年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{C.J.P.Lucena}和\textit{P.S.C.Alencar},科学。计算。程序。24,第1号,41-61(1995年;兹bl 0939.68557) 全文: 内政部
伯恩哈德·莫勒;马丁·拉斯林 图形算法的更短路径。 (英语) Zbl 0813.68144号 科学。计算。程序。 22,编号1-2,157-180(1994).MSC公司:68兰特 65年第68季度 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{B.Möller}和\textit{M.Russling},科学。计算。程序。22,编号1--2,157-180(1994;Zbl 0813.68144) 全文: 内政部 链接
罗兰·贝克豪斯(Roland C.Backhouse)。;范登·艾因德,J.P.H.W。;范·加斯特伦(A.J.M.van Gasteren)。 计算路径算法。 (英语) Zbl 0818.68117号 科学。计算。程序。 22,编号1-2,3-19(1994).MSC公司:68兰特 65年第68季度 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{R.C.Backhouse}等人,科学。计算。程序。22,编号1--2,3--19(1994;Zbl 0818.68117) 全文: 内政部
西亚佩索尼,E。;科尔塞蒂,E。;A.蒙塔纳里。;圣彼得罗,P。 在同步实时系统的逻辑规范语言中嵌入时间粒度。 (英语) Zbl 0781.68083号 科学。计算。程序。 20,编号1-2,141-171(1993). 审核人:A.蒙塔纳里 MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Ciapessoni}等人,科学。计算。程序。20,编号1--2,141-171(1993;Zbl 0781.68083) 全文: 内政部
福格勒、海科 块结构编程语言中上下文分析的功能描述:树变换器的案例研究。 (英语) Zbl 0745.68038号 科学。计算。程序。 16,第3期,251-275(1991).MSC公司:68甲15 65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Vogler},科学。计算。程序。16,第3号,251--275(1991;Zbl 0745.68038) 全文: 内政部
安妮·卡尔德瓦伊;杰勒德·茨瓦恩 常规语言接受者的收缩设计。 (英语) Zbl 0715.68048号 科学。计算。程序。 15,编号2-3,171-183(1990).MSC公司:65年第68季度 2005年第68季度 60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kaldewaij}和\textit{G.Zwaan},科学。计算。程序。15,编号2--3,171-183(1990;Zbl 0715.68048) 全文: 内政部
马塞利斯,A.J.J.M。 关于属性评价算法的分类。 (英语) Zbl 0698.68066号 科学。计算。程序。 14,No.1,1-24(1990).MSC公司:65年第68季度 68N99型 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{A.J.J.M.Marcelis},科学。计算。程序。14,第1号,1--24(1990;Zbl 0698.68066) 全文: 内政部
海默里克,C。;卡托恩,J.P。 自下而上的树接收器。 (英语) Zbl 0687.68044号 科学。计算。程序。 13,No.1,51-72(1989).MSC公司:65年第68季度 68N99型 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Hemerik}和\textit{J.P.Katoen},科学。计算。程序。13,编号1,51--72(1989;Zbl 0687.68044) 全文: 内政部
G·库西诺。;居里,P.-L。;M·莫尼。 分类抽象机器。 (英语) 兹比尔0634.68078 科学。计算。程序。 8, 173-202 (1987). 审核人:V.Kurkova-Pohlova(沃尔科瓦·波洛娃) MSC公司:65年第68季度 18B20型 03B40型 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{G.Cousineau}等人,科学。计算。程序。8173--202(1987年;Zbl 0634.68078) 全文: 内政部
艾默生·E·艾伦;Lei、Chin-Laung 模型检查的模式:分支时间逻辑反击。 (英语) Zbl 0615.68019号 科学。计算。程序。 8, 275-306 (1987).MSC公司:60年第68季度 第68页第25页 65年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Emerson}和\textit{C.L.Lei},科学。计算。程序。8275--306(1987年;Zbl 0615.68019) 全文: 内政部
J.V.古塔格。;霍宁,J.J。 关于落叶松共享语言的报告。 (英语) Zbl 0581.68007号 科学。计算。程序。 6, 103-134 (1986).MSC公司:68号01 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Guttag}和\textit{J.J.Horning},科学。计算。程序。6、103--134(1986年;Zbl 0581.68007) 全文: 内政部
法希梅·贾利利 属性语法的通用增量计算器。 (英语) Zbl 0548.68079号 科学。计算。程序。 5, 83-96 (1985).MSC公司:68问题55 65年第68季度 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Jalili},科学。计算。程序。583--96(1985年;Zbl 0548.68079) 全文: 内政部