Carleton University (Canada).;
机译:在基于DEVS的系统开发方法中验证离散事件模型的框架
机译:基于DEVS的枢轴建模形式主义及其验证和验证框架
机译:dev-proMela:通过组合模型检查和仿真来建模,验证和验证视频游戏
机译:SE课程设计:方法论,形式方法和生命周期模型。一,方法和生命周期模型
机译:大规模DEVS和Cell-DEVS模型的并行仿真算法。
机译:研究过程验证的工业方法论(IMPROVER):系统生物学验证
机译:DEVS模型的验证方法
机译:modelplex:已验证的网络物理系统模型的运行时验证。