机译:使用离散事件系统规范(DEVS)设计Modelica编译器
Department of Systems and Computer Engineering, Centre for Visualization and Simulation (V-Sim) Carleton University, 1125 Colonel By Drive, Ottawa, ON K1S5B6, Canada;
Computer Science Department, Universidad de Buenos Aires, Pabellon Ⅰ, Ciudad Vniversitaria, 1428 Buenos Aires, Argentina;
Simulation; Object Oriented Modeling; Discrete event systems; Hybrid systems; Modelica; DEVS;
机译:使用不精确的离散事件系统规格设计实时系统
机译:使用Parallel DEVS形式主义和Modelica语言进行系统建模
机译:dev-proMela:用于模拟,模拟和离散事件系统的建模,仿真和验证的PROMELA的扩展
机译:使用Modelica语言开发Siman块的规范和实现
机译:离散事件系统规范(DEVS)分布式对象计算(DOC)建模和仿真
机译:更正:R-spondin 1是通过Wnt16和Vegfa信号通路指定造血干细胞所必需的(doi:10.1242 / dev.139956)
机译:DEVS:资源约束系统性能分析的离散事件建模与仿真