SCEL公司

此软件的关键字
数学参考文献
Luca Bortolussi;Hillston,Jane;Loreti,Michele:《广播系统的流体近似》(2020) De Nicola,Rocco;Ferrari,Gianluigi;Pugliese,Rosario;Tiezzi,Francesco:特定领域分布式系统工程的正式方法(2020) Martín,Óscar;Verdejo,Alberto;MartíOliet,Narcisco:重写逻辑中的组合规范(2020) Viroli,Mirko;Beal,Jacob;Damiani,Ferruccio;Audrito,Giorgio;Casadei,Roberto;Pianini,Danilo:从分布式协调到场微积分和聚合计算(2019) 拉诺特,拉格罗;梅罗,马西莫:物联网的语义理论(2018) Li,Ximeng;Wu,Xi;Lluch Lafuente,Alberto;Nielson,Flemming;Nielson,Hanne Riis:数据库的协调语言(2017) Maggi,Alessandro;Petrocchi,Marinella;Spognardi,Angelo;Tiezzi,Francesco:基于语言的Twitter交互建模和分析方法(2017) 《传播学:米歇尔德拉赫蒂》(the power of communication,Abd-De,2016;基于尼古拉·拉赫蒂的《传播学》(the power of communication,Abd-De;2016年) Feng,Cheng;Hillston,Jane;Galpin,Vashti:空间分布式集体自适应系统的自动矩闭合逼近(2016) Vandin,Andrea;Tribastone,Mirco:集体适应系统的定量抽象(2016) Bruni,Roberto;Corradini,Andrea;Gadducci,Fabio;Iluch Lafuente,Alberto;Vandin,Andrea:行为适应的白盒视角(2015) Latella,Diego;Loreti,Michele;Massink,Mieke;Senni,Valerio:关于stocs:SCEL的随机扩展(2015) Montanari,Ugo;Pugliese,Rosario;Tiezzi,Francesco:用多个约束存储编程自主系统(2015) 谢尔贝季亚,尼古拉:自适应和自主系统及其对我们的影响(2015) Belzner,Lenz;De Nicola,Rocco;Vandin,Andrea;Wirsing,Martin:重写逻辑中的推理(on)服务组件集成(2014) ioport公司 De Nicola,Rocco;Lluch Lafuente,Alberto;Loreti,Michele;Morichetta,Andrea;Pugliese,Rosario;Senni,Valerio;Tiezzi,Francesco:编程和验证组件集成(2014) Hennicker,Rolf;Klarl,Annabelle:合奏建模的基础——Helena方法。 用复杂的集成架构处理大规模分布式系统(2014)