DEVS; Finite and Deterministic DEVS; RT-DEVS; Modelling; Exhaustive verification; Timed automata; UPPAAL; Non preemptive scheduling; EDF;
机译:子通道方法中的多维硼输运模型:第一部分。 COBRA-TF硼跟踪模型的模型选择,实现和验证
机译:一种广义二阶3D理论,用于从数值模型到物理模型的多向波传播。第Ⅰ部分:推导,实施和模型验证
机译:软性生物组织生长和重塑模型的有限元实现:验证和在腹主动脉瘤中的应用
机译:具有实现方面的RT-DEVS模型的时间验证
机译:用普通话模拟时间进展:方面标记和时间关系。
机译:多尺度时空元模型检查验证生物系统多级计算模型的新方法
机译:验证和验证时间知识作为实施支持组织创造力的时间知识库系统的一个重要方面