机译:将经典的离散事件系统规范模型转换为规范和描述语言
Univ Politecn Cataluna, Dept Stat & Operat Res, ES-08034 Barcelona, Spain;
Discrete Event System Specification; Specification and Description Language; simulation; formal language;
机译:DEVSpecL:DEVS规范语言,用于离散事件系统的建模,仿真和分析
机译:促进离散事件系统规范和联合作战管理语言仿真模型互操作性的体系结构
机译:从各个对象专用的各种基于对象模型的规范描述语言生成CAD系统的参考模型
机译:在离散事件系统中模块化控制中出现的一般规范语言的最高资格
机译:使用离散事件系统规范的量子密钥分发模拟框架的概念建模
机译:系统生物学标记语言(SBML):3级版本2核心发行版2的语言规范
机译:将经典离散事件系统规范模型转换为规范和描述语言
机译:综合信息支持系统(IIss)。第5卷。通用数据模型子系统。第14部分。中性数据操作语言(NDmL)预编译器将NDmL请求从外部模式转换为概念模式产品规范。