Membrane computing; Framework; Simulation strategy; Model checking; Biological systems;
机译:生物系统中膜计算的建模框架:通过案例研究进行评估
机译:通过两个生物系统使用概率符号模型检查器对膜计算生物模型进行模型检查
机译:使用两个生物系统的概率符号模型检查器对膜计算生物模型进行模型检查科学出版物
机译:使用膜计算建模和验证生物系统的框架
机译:在生物组织和细胞的可变形多相模型中被动和主动膜运输的有限元框架的实现和验证
机译:多尺度时空元模型检查验证生物系统多级计算模型的新方法
机译:通过两个生物系统使用概率符号模型检查器对膜计算生物模型进行模型检查
机译:计算科学:具有动态结构的膜系统的petri网模型