Modeling; simulation; combined simulation; discrete event simulation; continuous system simulation;
机译:使用DES / M环境将模型模型与离散事件形式相结合进行仿真
机译:dev-proMela:用于模拟,模拟和离散事件系统的建模,仿真和验证的PROMELA的扩展
机译:DEVSpecL:DEVS规范语言,用于离散事件系统的建模,仿真和分析
机译:利用DEVS形式主义和面向对象范式的组合离散事件连续系统的建模与仿真
机译:离散事件系统规范(DEVS)分布式对象计算(DOC)建模和仿真
机译:基于DEVS和DEUS的片上网络系统的建模和仿真
机译:结构化开发规范主义:离散事件系统的结构建模方法