Departamento de Computation Facultad de Ciencias Exactas y Natvrales Universidad de Buenos Aires Pabellon I-Ciudad Universitaria Buenos Aires (1428) ―ARGENTINA;
DEVS models; cellular automata; cell-DEVS models; traffic simulation;
机译:使用领域特定语言的排队网络模型的规范和仿真
机译:促进离散事件系统规范和联合作战管理语言仿真模型互操作性的体系结构
机译:DEVSpecL:DEVS规范语言,用于离散事件系统的建模,仿真和分析
机译:用于流量建模和仿真的规范语言
机译:电子物理系统领域特定建模语言的形式语义规范。
机译:用于仿真的神经模型的面向方程的规范
机译:使用ConGolog和CASL正式代理规范语言进行i *模型的分析,验证和仿真