×

找到16个文档（结果1-16）

最新的 引文 关联
孙孟；法哈德·阿尔巴；伯恩哈德·艾切尼格（Bernhard K.Aichernig）。；阿塞特夫·诺艾，勒克雷米奥拉；德波尔（Frank S。；Rutten，一月

连接器设计：建模、细化和测试用例生成。 （英语） 兹比尔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）
全文： 内政部
纳塔莉亚·科卡什；克里斯蒂安·克劳斯；埃里克·P·德文克。

验证基于上下文相关通道的服务模型。 （英语） Zbl 1312.68073号

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。第八届国际研讨会，2009年FMCO，荷兰埃因霍温，2009年11月4-6日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17070-6/pbk）。计算机科学课堂讲稿6286，21-40（2010）。
MSC公司：68纳米99 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Kokash}等人，Lect。票据计算。科学。6286，21--40（2010；Zbl 1312.68073）
全文： 内政部
克拉克，戴夫；何塞·普伦萨；亚历山大·拉佐维克；法哈德·阿尔巴

解构图像。 （英语） Zbl 1347.68077号

Canal，Carlos（ed.）等人，《第七届协调语言和软件架构基础国际研讨会论文集》（FOCLASA 2008），冰岛雷克雅未克，2008年7月13日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》229，第2期，43-58（2009）。
MSC公司：68号30 64岁以下 第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Clarke}等人，《电子》。注释Theor。计算。科学。229，第2号，43-58（2009；Zbl 1347.68077）
全文： 内政部
法哈德·阿尔巴；罗伯托·布鲁尼；克拉克，戴夫；伊万·拉内斯；乌戈·蒙塔纳里

Reo的平铺。 （英语） Zbl 1253.68090号

Corradini，Andrea（编辑）等人，代数开发技术的最新趋势。2008年6月13日至16日在意大利比萨举行的WADT 2008第19届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03428-2/pbk）。计算机科学课堂讲稿5486，37-55（2009）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{F.Arbab}等人，Lect。票据计算。科学。5486、37-55（2009年；Zbl 1253.68090）
全文： 内政部 链接
克里斯蒂安·科勒；亚历山大·拉佐维克；法哈德·阿尔巴

用高级替换系统重写连接器。 （英语） Zbl 1277.68193号

Carlos Canal（编辑）等人，第六届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2007），葡萄牙里斯本，2007年9月8日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》194，第4期，77-92（2008）。
MSC公司：68问题85 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Koehler}等人，《电子》。注释Theor。计算。科学。194，第4号，77-92（2008；Zbl 1277.68193）
全文： 内政部
何塞·普伦萨；克拉克，戴夫

比较了Orc和Reo的协调模型。 （英语） Zbl 1277.68201号

Carlos Canal（编辑）等人，第六届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2007），葡萄牙里斯本，2007年9月8日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》194，第4期，57-76（2008）。
MSC公司：68问题85 68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Proença}和\textit{D.Clarke}，电子。注释Theor。计算。科学。194，第4号，57--76（2008；Zbl 1277.68201）
全文： 内政部
克拉克，戴夫

协调：Reo、网络和逻辑。 （英语） Zbl 1209.68335号

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2007年10月24日至26日在荷兰阿姆斯特丹举行的2007年FMCO第六届国际研讨会。修订的讲座。柏林：施普林格出版社（ISBN 978-3-540-92187-5/pbk）。计算机科学讲义538226-256（2008）。
MSC公司：68问题85 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{D.Clarke}，莱克特。票据计算。科学。5382、226——256（2008年；Zbl 1209.68335）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件