雷奥

此软件的关键字
zbMATH中的参考文献(参考
82篇文章
参考, 2标准条款 )
Chiara Bodei;Linda Brodo;Bruni,Roberto:The\texttLink Calculation for open multiparty interactions(2020年) Martín,Óscar;Verdejo,Alberto;MartíOliet,Narcisco:重写逻辑中的组合规范(2020) Marmsoler,Diego;Gidey,Habtom Kashay:FACTum建筑设计模式的交互验证(2019) Reisig,Wolfgang:具有双面接口的组件的关联组合(2019) 布雷索林,戴维德;拉内塞,伊万:最一般的财产保护更新(2017年) Dokter,Kasper;Jongmans,Sung Shik;Arbab,Farhad;Bliudze,Simon:《联合与征服:关联BIP和Reo》(2017) Evrard,Hugues;Lang,Frédéric:通过多路会合从异步进程交互的形式模型自动生成分布式代码(2017) 保罗•阿蒂;爱德华德•巴拉诺夫;西蒙•布鲁兹;穆罕默德•贾伯;约瑟夫•斯法基斯:建筑可组合性的一般框架(2016) Cassel,Sofia;Howar,Falk;Jonsson,Bengt;Steffen,Bernhard:扩展有限状态机的主动学习(2016) Jongmans,Sung Shik T.Q.;Arbab,Farhad:约束自动机的数据优化(2016) Oliveira,Marcel V.M.;Antonino,P.;Ramos,R.;Sampaio,A.;Mota,A.;Roscoe,A.W.:使用组件元数据和模式严格开发基于组件的系统(2016年) Aceo,Luca;Goriac,Eugen Ioan;Ingolfsdottir,Anna:Linda无状态双相似性的基本公理化(2015) Bruni,Roberto;Melgratti,Hernán;Montanari,Ugo:状态连接器的标准形式(2015) Jongmans,Sung Shik T.Q.;Arbab,Farhad:高吞吐量能否弥补编译器生成的协议代码中的高延迟? (2015年) ioport公司 Klein,Joachim;Baier,Christel;Klüppelholz,Sascha:大多数通用控制器的组成结构(2015) Sifakis,Joseph;Bensalem,Saddek;Bliudze,Simon;Bozga,Marius:基于组件设计的理论议程(2015) Moon,Young Joo;Silva,Alexandra;Krause,Christian;Arbab,Farhad:随机Reo连接器端到端QoS推理的组合模型(2014) Bruni,Roberto;Melgratti,Hernan;Montanari,Ugo;Sobocinski,Pawel:C/E和P/T网络交互作用的连接器代数(2013) Borzoo Bonakdarpour;Bozga,Marius;Jaber,Mohamad;Quilbeuf,Jean;Sifakis,Joseph:基于组件模型的自动化分布式实现框架(2012) Bonsangue,Marcello;Clarke,Dave;Silva,Alexandra:上下文相关组件连接器模型(2012)