DEVS; Object-Oriented Petri Nets; simulation-based design;
机译:新的单元空间DEVS规范:回顾并行DEVS形式主义以寻求快速的单元空间模拟
机译:使用隐藏继承的扩展的可自我复制的离散事件系统规范(DEVS)形式
机译:在Devs形式主义中通过模糊控制器规定国家的生命周期。
机译:OOPN和DEVS的系统规范和分析形式主义
机译:离散事件系统规范(DEVS)分布式对象计算(DOC)建模和仿真
机译:生物化学系统规范和分析的可执行生物化学空间
机译:基于DEVs形式的多分辨率建模形式化描述规范及其应用
机译:计算科学。可靠系统动态重构建模与分析的形式比较。