二郎

此软件的关键字
参考文献, 2标准条款 )
De Nicola,Rocco;Ferrari,Gianluigi;Pugliese,Rosario;Tiezzi,Francesco:特定领域分布式系统工程的正式方法(2020) Abd Alrahman,Yehia;Torres Vieira,Hugo:电网运行控制的协调协议语言(2019) Haller,Philipp;Miller,Heather:A reduction semantics for direct style asynchronous observables(2019年) Johansen,Christian;Owe,Olaf:动态结构操作语义(2019) Mostowski,Wojciech:用于测试灰盒系统的基于模型的故障注入(2019) Rafael的Caballero;Martin Martin,Enrique;Riesco,Adrián;Tamarit,Salvador:并发Erlang程序的声明性调试(2018) Insa,大卫;Pérez,Sergio;Silva,Josep;Tamarit,萨尔瓦多:Erlang代码进化控制(2018) 伊万·兰内斯(Lanese);西田(Nishida),直木(Naoki);帕拉西奥斯(Palacios),阿德里安(Adrián);维达尔(Vidal),格尔曼(Germanán):厄朗的可逆性理论(2018年) López Fraguas,Francisco J.;黑山,Manuel;Suárez García,Gorka:Erlang的多态成功类型(2018) Müller,Peter(编辑);Schaefer,Ina(编辑):原则性软件开发。 在海夫特60岁生日之际为他写的文章。 2018年11月(2018年),德国凯泽斯劳滕,研讨会上的演讲精选论文 阿尔伯特,埃尔维拉;贝齐尔吉安尼斯,尼古拉斯;德波尔,弗兰克;马丁马丁马丁,恩里克:从演员到哈斯凯尔的正式、资源消耗保护翻译(2017) Albert,Elvira;Flores Montoya,Antonio;Genaim,Samir;Martin Martin,Enrique:具有并行交错的循环的信赖保证终止和成本分析(2017) Baumgartner,Alexander;Kutsia,Temur;Levy,Jordi;Villaret,Mateu:线性时间内的高阶模式反统一(2017) Brandt,Jörgen;Reisig,Wolfgang;Leser,Ulf:功能科学工作流语言楔形文字的计算语义(2017) David Insa、Sergio Pérez、Josep Silva、Salvador Tamarit:Erlang代码进化控制(2017) 阿尔十四 Nishida,Naoki;Palacios,Adrián;Vidal,Germanán:Erlang的可逆语义(2017) Philipp Moritz,Robert Nishihara,Stephanie Wang,Alexey Tumanov,Richard Liaw,Eric Liang,Melih Elibol,Zongheng Yang,William Paul,Michael I.Jordan,Ion Stoica:Ray:新兴人工智能应用的分布式框架(2017) 阿尔十四 Dieterle,M.;Horstmeyer,T.;Loogen,R.;Berthold,J.:骨架成分与伊甸园中的稳定过程系统(2016) Drăgoi,Cezara;Henzinger,Thomas A.;Zuffrey,Damien:\textscPSync:容错分布式算法的部分同步语言(2016) Fördősy,Viktória;Tóth,Melinda:用重构器识别代码克隆(2016) ioport公司