MCGP公司

此软件的关键字
zbMATH中的参考文献(参考文献 15条 , 1标准件 )
Benouhiba,Toufik:最优概率模型结构综合的多级细化方法(2021) 巴塞特,N。; 奎亚特科夫斯卡,M。; Wiltsche,C.:多目标随机博弈的组合策略综合(2018) 布洛姆,罗德里克; 查特吉,克莉什南杜; Jobstmann,Barbara:图形游戏和反应合成(2018) 埃弗拉德,胡格; Lang,Frédéric:通过多路会合从异步进程交互的形式模型自动生成分布式代码(2017) 芬克贝纳,伯纳德; Olderog,Ernst-Rüdiger:Petri博弈:具有因果记忆的分布式系统的综合(2017) 查特吉,克莉什南杜; 亨辛格,托马斯A。; 芭芭拉,乔布斯曼; 辛格,罗希特:概率环境下的测量和综合系统(2015) Uy,阮匡; 和,阮宣; 奥尼尔,迈克尔; R.I.麦凯。; Phong,Dao-Ngoc:论交叉语义局部性在遗传规划中的作用(2013) 格拉夫,苏珊娜; 佩利德,多伦; Quinton,Sophie:通过模型检查实现分布式控制(2012) 他,裴; 康、骊山; 约翰逊,科林·G。; 施颖:基于霍尔逻辑的遗传规划(2011) 凯兹,加尔; Peled,Doron:用模型检验和遗传规划综合解决领导人选举问题(2011) ioport公司 凯兹,加尔; 佩利德,多伦; Schewe,Sven:通过知识积累综合分布式控制(2011) ioport公司 凯兹,加尔; Peled,Doron:MCGP:基于模型检查和遗传编程的软件综合工具(2010) ioport公司 凯兹,加尔; Peled,Doron:验证中的代码突变和自动代码更正(2010) ioport公司 凯兹,加尔; Peled,Doron:遗传规划和模型检验:合成新的互斥算法(2008) 凯兹,加尔; Peled,Doron:基于模型检验的遗传规划及其在互斥中的应用(2008)