Finite State Machines; Formal methods; Model Inference; Model-driven Engineering; Software Analysis; Testing; Verification and Validation;
机译:动态系统逆向工程的实际限制:系统生物学模型中灵敏度和参数可推断性的统计分析
机译:使用逆向工程技术推断系统用例模型
机译:使用动态生态进化模型和近似贝叶斯计算(ABC)从宏观模式推断社区组装过程
机译:推断系统工程近似模型
机译:近似计算发电系统可靠性指标(能源,电力工程,电力系统)的贡献。
机译:基于对均衡的线性化行为的一类时变非线动力系统的近似可达性:应用于流行模型的应用
机译:使用动态生态进化模型和近似贝叶斯计算(ABC)从宏观模式推断社区组装过程