...
机译:概率转移系统的双仿真和仿真算法的抽象解释
Dipartimento di Matematica, University of Padova, Padova, Italy;
Dipartimento di Matematica, University of Padova, Padova, Italy;
probabilistic LTS; probabilistic bisimulation equivalence; probabilistic simulation preorder; abstract interpretation; simulation algorithm;
机译:概率转移系统的双仿真:联合代数方法
机译:非确定性模糊转移系统的双仿真算法和逻辑表征
机译:使用时间抽象双仿真对定时系统进行分析
机译:抽象解释的概率双仿真与仿真算法
机译:用于双仿真或仿真等效的离散事件系统的监督控制。
机译:光合系统中激子迁移的动力学模型。 3.遗传算法在三维光系统I核心天线/反应中心复合体激发动力学模拟中的应用。
机译:概率转移系统的双仿真和仿真算法的抽象解释
机译:概率转移系统的双模拟:一种代数方法.211软件工程