雷奥

此软件的关键字
zbMATH中的参考文献(参考文献 88篇 , 2标准条款 )
戴维德,布雷索林; Lanese,Ivan:静态和动态属性保留更新(2021) 多克特,卡斯帕; 加杜奇,法比奥; 狮子,本杰明; Santini,Francesco:带记忆的软约束自动机(2021) 博德,恰拉; 布罗多,琳达; 布鲁尼,罗伯托:《开放多方互动的链接演算》(2020) 马丁斯,Óscar; 阿尔伯托威尔德乔; MartíOliet,Narcisco:重写逻辑中的组合规范(2020) 马姆索勒,迭戈; Gidey,Habtom Kashay:FACTum建筑设计模式的交互验证(2019) Reisig,Wolfgang:具有双面接口的组件的关联组合(2019) 菲格雷多,丹尼尔; 马丁斯,曼努埃尔A。; Barbosa,Luís.:关于反应性跃迁和Reo连接器的注释(2018) Jongmans,Sung Shik:用八种颜色正式传播Reo中的优先级(2018) 戴维德,布雷索林; Lanese,Ivan:最普遍的财产保护更新(2017年) 多克特,卡斯帕; 琼曼斯,宋希克; 阿尔巴布,法哈德; Bliudze,Simon:《联合与征服:联系BIP和Reo》(2017) 埃弗拉德,胡格; Lang,Frédéric:通过多路会合从异步进程交互的形式模型自动生成分布式代码(2017) Arbab,Farhad:适当方案(2016年) 阿蒂,保罗; 巴拉诺夫,爱德华德; 傻了,西蒙; 贾比尔,穆罕默德; Sifakis,Joseph:体系结构可组合性的一般框架(2016) 卡塞尔,索非亚; 霍瓦,福克; 强森,本特; Steffen,Bernhard:扩展有限状态机的主动学习(2016) 克尔松,菲利普; 杜斯拉夫,克莱门斯; 拜尔,克里斯特尔; 克莱因,约阿希姆; Klüppelholz,Sascha:基于角色的系统建模与外部协调(2016) 容格曼,宋世宗。; Arbab,Farhad:约束自动机的数据优化(2016) 奥利维拉,马塞尔·V·M。; 安东尼诺,P。; 拉莫斯,R。; 桑帕约,A。; 莫塔,A。; Roscoe,A.W.:使用组件元数据和模式严格开发基于组件的系统(2016) 丙酮,卢卡; 戈里亚克,尤金·伊安; Ingolfsdottir,Anna:Linda无状态双相似性的基本公理化(2015) 布鲁尼,罗伯托; 梅尔格拉蒂,赫尔南; Montanari,Ugo:有状态连接器的标准形式(2015) 容格曼,宋世宗。; Arbab,Farhad:高吞吐量能否弥补编译器生成的协议代码中的高延迟? (2015年) ioport公司