二郎

此软件的关键字
zbMATH中的参考文献(参考文献 116篇 , 2标准条款 )
彼得斯,基尔斯廷; 威斯康星州内斯特曼; 安娜施密特:论可分配性(2022) 德尼古拉,罗科; 法拉利,吉安鲁吉; 普利斯,罗萨里奥; Tiezzi,Francesco:一种域特定分布式系统工程的正式方法(2020) 加林多,卡洛斯; 西田、直木; 席尔瓦,约瑟普; 萨尔瓦多塔马里特:ReverCSP:CSP计算中的时间旅行(2020) 沙巴诺夫,B.M。; 库兹涅佐娃,东欧。; Rybakov,A.A.:数据流处理器仿真器实现特性(2020) 叶希亚,阿布德·阿尔拉赫曼; Torres Vieira,Hugo:电网运行控制的协调协议语言(2019) 哈勒,菲利普; Miller,Heather:直接式异步可观测的简化语义(2019) 约翰森,基督徒; Owe,Olaf:动态结构操作语义(2019) Mostowski,Wojciech:用于测试灰盒系统的基于模型的故障注入(2019) 巴托莱蒂,马西莫; 波奇,劳拉; Murgia,Maurizio:CTA的进步保持改进(2018) 卡巴莱罗,拉斐尔; 马丁·马丁,恩里克; 里斯科,阿德里安; 萨尔瓦多塔马里特:并发Erlang程序的声明性调试(2018) 格雷奇,纳威; 费舍尔,伯恩德; Rathke,Julian:抢占式检查(2018) 因萨,大卫; 佩雷斯,塞尔吉奥; 席尔瓦,约瑟普; 萨尔瓦多塔马里特:Erlang代码进化控制(2018) 伊万·兰内斯; 西田、直木; 帕拉西奥斯,阿德里安; 维达尔,格曼:厄兰的可逆性理论(2018) 弗朗西斯科J.;López Fraguas。; 黑山,曼努埃尔; Suárez García,Gorka:Erlang的多态成功类型(2018) 穆勒,彼得(编辑); Schaefer,Ina(编辑):原则性软件开发。 在海夫特60岁生日之际为他写的文章。 2018年11月(2018年),德国凯泽斯劳滕,研讨会上的演讲精选论文 艾伯特,艾薇拉; 贝齐尔吉安尼斯,尼古拉斯; 德波尔,弗兰克; Martin Martin,Enrique:演员到Haskell的正式、资源消耗保护翻译(2017) 艾伯特,艾薇拉; 弗洛雷斯·蒙托亚,安东尼奥; 杰纳姆,萨米尔; Martin Martin,Enrique:并行交织循环的信赖保证终止和成本分析(2017) 鲍姆加特纳,亚历山大; 特穆尔库兹亚; 利维,乔迪; Villaret,Mateu:线性时间的高阶模式反统一(2017) 勃兰特,约根; 莱希格,沃尔夫冈; Leser,Ulf:功能科学工作流语言楔形文字的计算语义(2017) David Insa、Sergio Pérez、Josep Silva、Salvador Tamarit:Erlang代码进化控制(2017) 阿尔十四